Abstract data types in HOL-Omega. http://permalink.gmane.org/gmane.comp.mathematics (2011)

by P V Homeier
Venue:hol/1168