Skip to main content

 Literature 

Solution of a Problem in Concurrent Programming Control (1965) by Edsger Dijkstra