Abstract Theories for HOL (1991)

by Elsa Gunter
Venue:In Informal Proceedings of the 1991 Hol User's Group Workshop. Unpublished