Solution of a Problem in Concurrent Programming Control (1965) [pdf]
di.ens.fr