Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
Human Problem Solving
Natural Language Dialogue For Managing An On-Line Calendar
ACM '78 Proceedings of the 1978 annual conference