author : Daniel K. C. Chan

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 )