The Implementation and Use of Abstract Theories in HOL (1990)

by Elsa L Gunter
Venue:In Proceedings of the Third HOL Users Meeting