Monitors

C. A. R. Hoare · Communications of the ACM · 1974

EngineeringOperating SystemsAlarm Clock+13

Program development by stepwise refinement

Niklaus Wirth · Communications of the ACM · 1971

A universal modular ACTOR formalism for artificial intelligence

Carl Hewitt, Peter Bishop, Richard de Steiger · International Joint Conference on Artificial Intelligence · 1973

Artificial IntelligenceEngineeringAutomated Reasoning+6

Program development by stepwise refinement

Niklaus Wirth · Communications of the ACM · 1983

EngineeringStepwise RefinementSoftware Systems+22

Definitional interpreters for higher-order programming languages

John Reynolds · 1972

EngineeringHigher-order Programming LanguagesPure Lisp+18