THE EMPEROR'S OLD CLOTHESHOARE CAR.1981; COMMUN. ACM; ISSN 0001-0782; USA; DA. 1981; VOL. 24; NO 2; PP. 75-83Article

SOME PROPERTIES OF PREDICATE TRANSFORMERSHOARE CAR.1978; J. ASS. COMPUTG MACHIN.; USA; DA. 1978; VOL. 25; NO 3; PP. 461-480; BIBL. 14 REF.Article

PARALLEL PROGRAMMING. AN AXIOMATIC APPROACH.HOARE CAR.1975; COMPUTER LANGUAGES; G.B.; DA. 1975; VOL. 1; NO 2; PP. 151-160; BIBL. 12 REF.Article

MONITORS: AN OPERATING SYSTEM STRUCTURING CONCEPT.HOARE CAR.1974; COMMUNIC. A.C.M.; U.S.A.; DA. 1974; VOL. 17; NO 10; PP. 549-557; BIBL. 15 REF.Article

OPTIMIZATION OF STORE SIZE FOR GARBAGE COLLECTION.HOARE CAR.1974; INFORM. PROCESSG LETTERS; NETHERL.; DA. 1974; VOL. 2; NO 6; PP. 165-166Article

THE STRUCTURE OF AN OPERATING SYSTEM.HOARE CAR.1976; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1976; VOL. 46; PP. 242-265; BIBL. 12 REF.; (LANG. HIERARCHIES INTERFACES. INT. SUMMER SCH.; MARKTOBERDORF; 1975)Conference Paper

PROOF OF CORRECTNESS OF DATA REPRESENTATIONSHOARE CAR.1972; ACTA INFORMAT.; ALLEM.; DA. 1972; VOL. 1; NO 4; PP. 271-281; BIBL. 8 REF.Serial Issue

A NOTE ON THE FOR STATEMENTHOARE CAR.1972; B.I.T.; DANM.; DA. 1972; VOL. 12; NO 3; PP. 334-341; BIBL. 8 REF.Serial Issue

PARALLEL PROGRAMMING: AN AXIOMATIC APPROACH.HOARE CAR.1976; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1976; VOL. 46; PP. 11-42; BIBL. 18 REF.; (LANG. HIERARCHIES INTERFACES. INT. SUMMER SCH.; MARKTOBERDORF; 1975)Conference Paper

PROOF OF CORRECTNESS OF DATA REPRESENTATIONS.HOARE CAR.1976; LECTURE NOTES COMPUTER SCI.; GERM.; DA. 1976; VOL. 46; PP. 183-193; BIBL. 8 REF.; (LANG. HIERARCHIES INTERFACES. INT. SUMMER SCH.; MARKTOBERDORF; 1975)Conference Paper

DATA RELIABILITY.HOARE CAR.sdIN: INT. CONF. RELIAB. SOFTWARE. PROC.; LOS ANGELES, CALIF.; 1975; S.L.; DA. S.D.; PP. 528-533; BIBL. 7 REF.Conference Paper

PROGRAM PROVING: JUMPS AND FUNCTIONSCLINT M; HOARE CAR.1972; ACTA INFORMAT.; ALLEM.; DA. 1972; VOL. 1; NO 3; PP. 214-224; BIBL. 5 REF.Serial Issue

A THEORY OF NONDETERMINISMKENNAWAY JR; HOARE CAR.1980; LECTURE NOTES COMPUTER SCI.; DEU; DA. 1980; NO 85; PP. 338-350; BIBL. 6 REF.Conference Paper

FAST FOURIER TRANSFORM FREE FROM TEARS.MACNAGTEN AM; HOARE CAR.1977; COMPUTER J.; G.B.; DA. 1977; VOL. 20; NO 1; PP. 78-83; BIBL. 3 REF.Article

CONSISTENT AND COMPLEMENTARY FORMAL THEORIES OF THE SEMANTICS OF PROGRAMMING LANGUAGES.HOARE CAR; LAUER PE.1974; ACTA INFORMAT.; ALLEM.; DA. 1974; VOL. 3; NO 2; PP. 135-153; BIBL. 1 P. 1/2Article

OPERATING SYSTEMS TECHNIQUESHOARE CAR; PERROTT RH.1972; A.P.I.C. STUD. DATA PROCESSG; U.S.A.; DA. 1972; NO 9; PP. 1-390; BIBL. DISSEM.Serial Issue

MATRIX REDUCTION. AN EFFICIENT METHOD.JOHNSTON HC; HOARE CAR.1975; COMMUNIC. A.C.M.; U.S.A.; DA. 1975; VOL. 18; NO 3; PP. 141-150; BIBL. 7 REF.Article

REMARKS ON "PROGRAM PROVING: JUMPS AND FUNCTIONS BY M. CLINT AND C.A.R. HOARE".ASHCROFT EA; CLINT M; HOARE CAR et al.1976; ACTA INFORMAT.; ALLEM.; DA. 1976; VOL. 6; NO 3; PP. 317-318; BIBL. 2 REF.Article

SEMANTICS OF NONDETERMINISM, CONCURRENCY, AND COMMUNICATIONFRANCEZ N; HOARE CAR; LEHMANN DJ et al.1979; J. COMPUTER SYST. SCI.; USA; DA. 1979; VOL. 19; NO 3; PP. 290-308; BIBL. 23 REF.Article

AMBIGUITIES AND INSECURITIES IN PASCAL.WELSH J; SNEERINGER WJ; HOARE CAR et al.1977; SOFTWARE-PRACT. EXPER.; G.B.; DA. 1977; VOL. 7; NO 6; PP. 685-696; BIBL. 23 REF.Article