Ernest Samuel Cohen
-
Asynchronous progress
Programming methodology
Composing invariants
Science of Computer Programming