Tobias Nipkow Verified Lexical Analysis. 1-15 1998 conf/tphol/1998 TPHOLs db/conf/tphol/tphol98.html#Nipkow98 http://dx.doi.org/10.1007/BFb0055126