A DECISION PROCEDURE FOR THE CORRECTNESS OF A CLASS OF PROGRAMSMATETI P.1981; J. ASSOC. COMPUT. MACH.; ISSN 0004-5411; USA; DA. 1981; VOL. 28; NO 2; PP. 215-232; BIBL. 12 REF.Article

PASCAL VERSUS C: A SUBJECTIVE COMPARISONMATETI P.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 79; PP. 37-69; BIBL. 5 P.Conference Paper

A SPECIFICATION SCHEMA FOR INDENTING PROGRAMSMATETI P.1983; SOFTWARE, PRACTICE AND EXPERIENCE; ISSN 0038-0644; GBR; DA. 1983; VOL. 13; NO 2; PP. 163-179; BIBL. 7 REF.Article

PARALLEL ALGORITHMS FOR THE SINGLE SOURCE SHORTEST PATH PROBLEMMATETI P; DEO N.1982; COMPUTING (WIEN); ISSN 0010-485X; AUT; DA. 1982; VOL. 29; NO 1; PP. 31-49; ABS. GER; BIBL. 26 REF.Article