T.: Implementing application-specific object-oriented theories in HOL (2005)

by K Yatake, T Aoki, Katayama
Venue:Theoretical Aspects of Computing—ICTAC 2005