author : Philip W. Trinder

Short works

• An Object-Oriented Data Model Supporting Multi-Methods, Multiple Inheritance, and Static Type Checking: A Specification in Z. 1994. (In 8th Z User Workshop )