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