A Petri-Net Approach to Refining Object Behavioural Specifications. IJCAI 33 (2).