A Formal OO Method Inspired by Fusion and Object-Z.

Klaus Achatz Wolfram Schulte A Formal OO Method Inspired by Fusion and Object-Z. 92-111 1997 conf/zum/1997 ZUM db/conf/zum/zum1997.html#AchatzS97