Christian Lengauer: A methodology for programming with concurrency. University of Toronto, Canada 1982