John A. Keane, Jin Sa, Brian Warboys: Applying a Concurrent Formal Framework to Process Modelling. FME 1994: 291-305