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
Winstanley, Adam C. and Bustard, D.W. (1991) EXPOSE: an Animation Tool for Process-Oriented Specifications. Software Engineering Journal, 6 (6). pp. 463-475. ISSN 0268-6961