Brian Huffman John Matthews Peter White Axiomatic Constructor Classes in Isabelle/HOLCF. 147-162 2005 conf/tphol/2005 TPHOLs http://dx.doi.org/10.1007/11541868_10 db/conf/tphol/tphol2005.html#HuffmanMW05