Richard J. Lipton Robert Sedgewick Jacobo Valdes Programming Aspects of VLSI. 57-65 1982 POPL db/conf/popl/popl82.html#LiptonSV82 POPL/00001531.PDF