Selected Writings on Computing: A Personal Perspective
Edsger W. Dijkstra, Springer-Verlag 1982, PSU QA76.24.D54 1982
p97 guarded commands example
https://en.wikipedia.org/wiki/Promela is an example, Linux implementation available
- p97 "awful properties of the CDC-machine they have to use"
p100 Riemann hypothesis