The Combination of Specifications and the Induced Relations in Object Oriented Programs. - G. Steve Hirst; T. B. Dinesh (AMAST, 1991)