Mary Buchanan Bob Dickerson Carol Britton Martin Loomes Using CCS for the specification of inheritance. 93-96 1993 39 Microprocessing and Microprogramming 2-5 http://dx.doi.org/10.1016/0165-6074(93)90064-R db/journals/jsa/jsa39.html#BuchananDBL93