"Understanding concurrent programs using program transformations."

Edward J. Younger, M. P. Ward (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics