ON CORRECT REFINEMENT OF PROGRAMSBACK RJR.1981; J. COMPUT. SYST. SCI.; ISSN 0022-0000; USA; DA. 1981; VOL. 23; NO 1; PP. 49-68; BIBL. 22 REF.Article

PROVING TOTAL CORRECTNESS OF NONDETERMINISTIC PROGRAMS IN INFINITARY LOGICBACK RJR.1981; ACTA INF.; ISSN 0001-5903; DEU; DA. 1981; VOL. 15; NO 3; PP. 233-249; BIBL. 21 REF.Article

A CONTINUOUS SEMANTICS FOR UNBOUNDED NONDETERMINISMBACK RJR.1983; THEORETICAL COMPUTER SCIENCES; ISSN 0304-3975; NLD; DA. 1983; VOL. 23; NO 2; PP. 187-210; BIBL. 17 REF.Article

LOCALITY IN MODULAR SYSTEMSBACK RJR; MANNILA H.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 1-13; BIBL. 7 REF.Conference Paper