- Biography of Emil Post (1897-1954) ...www-groups.dcs.st-and.ac.uk/~history/Mathematicians/Post.html
- What's Post's Correspondence Problem (PCP) Definition: Given an alphabet S, one instance of Post's correspondence problem of size s is a finite set of pairs of strings (gi , hi) ( i = 1...s s ...www.cs.ualberta.ca/~zhao/PCP/intro.htm