C. Minkowitz: Formal process modelling. Inf. Softw. Technol. 35(11-12): 659-667 (1993)