bib: Add Pugh's 1994 paper