Graham Collins A Proof Tool for Reasoning About Functional Programs. 109-124 1996 conf/tphol/1996 TPHOLs db/conf/tphol/tphol96.html#Collins96 http://dx.doi.org/10.1007/BFb0105400