A Petri-Net Approach to Refining Object Behavioural Specifications - Cheung, K.-S.; Chow, P. K.-O. (Informatica)
A Petri-Net Approach to Refining Object Behavioural Specifications