<XML><RECORDS><RECORD><REFERENCE_TYPE>10</REFERENCE_TYPE><REFNUM>6235</REFNUM><AUTHORS><AUTHOR>Vos,T.</AUTHOR><AUTHOR>Swierstra,D.</AUTHOR></AUTHORS><YEAR>2000</YEAR><TITLE>Defining a non-concrete recursive type in HOL which includes sets</TITLE><PLACE_PUBLISHED>DCS Tech Report</PLACE_PUBLISHED><PUBLISHER>Dept of Computing Science, University of Glasgow</PUBLISHER><ISBN>TR-2000-55</ISBN><LABEL>Vos:2000:6235</LABEL><ABSTRACT> </ABSTRACT></RECORD></RECORDS></XML>