King Sing Cheung, K. O. Chow, T. Y. Cheung: Extending Formal Specification To Object-Oriented Models Through Level-View Structured Schemas. TOOLS (31) 1999: 118-125