"Modularity of Non-Sequential Programs."

Klaus-Peter Löhr (1972)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics