Gregory Butler, Peter Grogono, Rajjan Shinghal, Indra A. Tjandra: Document Recognition, Semantics, and Symbolic Reasoning in Reverse Engineering of Software. AISMC 1996: 38-48