Mark S. Miller Daniel G. Bobrow Eric Dean Tribble Jacob Levy Logical Secrets. 704-728 1987 ICLP db/conf/iclp/iclp87.html#MillerBTL87