Benjamin P. Berman Richard J. Fateman Optical Character Recognition for Typeset Mathematics. 348-353 1994 ISSAC http://doi.acm.org/10.1145/190347.190438 db/conf/issac/issac94.html#BermanF94