Kenro Yatake Toshiaki Aoki Takuya Katayama Collaboration-based verification of Object-Oriented models in HOL. 78-80 2004 conf/vveis/2004 VVEIS db/conf/vveis/vveis2004.html#YatakeAK04