C. A. R. Hoare
-
Assertions: A Personal Perspective
IEEE Annals of the History of Computing
Distributed termination of concurrent processes in Occam
Computer Languages