Implementing Application-Specific Object-Oriented Theories in HOL.

Kenro Yatake, Toshiaki Aoki, Takuya Katayama

Browse the full ICTAC paper archive.