D. Pavlovic, P. Pepper, and D. Smith. Mathematics of Program Construction, volume 6120 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2010)
E. Smith, D. Lopresti, G. Nagy, and Z. Wu. Document Analysis and Recognition (ICDAR), 2011 International Conference on, page 1255-1259. (September 2011)