Gregory Butler Matthew J. Kendall The Suitability for Master/Slave Concurrency of Concurrent Euclid, Ada and Modula. 117-134 1987 17 Softw., Pract. Exper. 2 db/journals/spe/spe17.html#ButlerK87