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