Robert G. Bandes Constraining-Unification and the Programming Language Unicorn. 106-110 1984 POPL db/conf/popl/popl84.html#Bandes84