Concurrency specification in high level languages. - Anthony G. Sumpter; Gerry E. Quick (ACM SIGPLAN Notices, 1980)