R. D. Dowsing
University College of Swansea, Singleton Park, Swansea, Wales, U.K.
Structured programming
Concurrency specification in high level languages
ACM SIGPLAN Notices