Edsger W. Dijkstra Hierarchical Ordering of Sequential Processes Acta Inf. 1 1971 115-138 db/journals/acta/acta1.html#Dijkstra71