Hierarchical Ordering of Sequential Processes (1971)

by E W Dijkstra
Venue:Acta Informatica