Cheung, K.-S.; Chow, P. K.-O. A Petri-Net Approach to Refining Object Behavioural Specifications. IJCAI 33.