E.W. Dijkstra Archive: Substitution Processes (EWD 28)

https://www.cs.utexas.edu/~EWD/transcriptions/EWD00xx/EWD28.html
20