Bustard, D.W., Norris, M.T., Orr, R.A. and Winstanley, Adam C. (1992) An Exercise in Formalizing the Description of a Concurrent System. Software: Practice and Experience, 22 (12). pp. 1069-1098. ISSN 1097-024X