Toshiaki Aoki, Takuya Katayama. Unification and Consistency Verification of Object-Oriented Analysis Models. In 5th Asia-Pacific Software Engineering Conference (APSEC 98), 2-4 December 1998, Taipei, Taiwan, ROC. pages 296-303, IEEE Computer Society, 1998. [doi]
Abstract is missing.