A PROOF SYSTEM FOR THE FIRST-ORDER RELATIONAL CALCULUSHENNESSY MCB.1980; J. COMPUTER SYST. SCI.; USA; DA. 1980; VOL. 20; NO 1; PP. 96-110; BIBL. 11 REF.Article

THE SEMANTICS OF CALL-BY-VALUE AND CALL-BY-NAME IN A NONDETERMINISTIC ENVIRONMENTHENNESSY MCB.1980; S.I.A.M. J. COMPUTG; USA; DA. 1980; VOL. 9; NO 1; PP. 67-84; BIBL. 21 REF.Article

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

FULL ABSTRACTION FOR A SIMPLE PARALLEL PROGRAMMING LANGUAGEHENNESSY MCB; PLOITKIN GD.1979; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1979; VOL. 74; PP. 108-120; BIBL. 11 REF.Conference Paper

A MATHEMATICAL SEMANTICS FOR A NONDETERMINISTIC TYPED LAMBDA -CALCULUSHENNESSY MCB; ASHCROFT EA.1980; THEOR. COMPUTER SCI.; NLD; DA. 1980; VOL. 11; NO 3; PP. 227-245; BIBL. 16 REF.Article