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

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