David W. Bustard M. T. Norris R. A. Orr Adam C. Winstanley An Exercise in Formalizing the Description of a Concurrent System. 1069-1098 1992 22 Softw., Pract. Exper. 12 db/journals/spe/spe22.html#BustardNOW92 http://dx.doi.org/10.1002/spe.4380221204