A POWERDOMAIN FOR COUNTABLE NON-DETERMINISMPLOTKIN GD.1982; LECTURE NOTES IN COMPUTER SCIENCE; ISSN 0302-9743; DEU; DA. 1982; VOL. 140; PP. 418-428; BIBL. 16 REF.Conference Paper

DIJKSTRA'S PREDICATE TRANSFORMERS AND SMYTH'S POWERDOMAINSPLOTKIN GD.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 86; PP. 527-553; BIBL. 2 P.Conference Paper

A TERM MODEL FOR CCSHENNESSY MCB; PLOTKIN GD.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; VOL. 88; PP. 261-274; BIBL. 23 REF.Conference Paper

A COOK'S TOUR COUNTABLE NONDETERMINISMAPT KR; PLOTKIN GD.1981; LECT. NOTES COMPUT. SCI.; ISSN 0302-9743; DEU; DA. 1981; NO 115; PP. 479-494; BIBL. 17 REF.Conference Paper