Formal specification and object-oriented design. - Mary Buchanan; Carol Britton (Microprocess. Microprogramming, 1992)

Using CCS for the specification of inheritance. - Mary Buchanan; Bob Dickerson; Carol Britton; Martin J. Loomes (Microprocess. Microprogramming, 1993)