Peter Mills Lars S. Nyland Jan Prins John H. Reif Robert A. Wagner Prototyping parallel and distributed programs in Proteus. 26-34 1991 SPDP http://dx.doi.org/10.1109/SPDP.1991.218300 conf/spdp/1991 db/conf/spdp/spdp1991.html#MillsNPRW91