Val Tannen Thierry Coquand Carl A. Gunter Andre Scedrov 172-221 Inf. Comput. July 1991 93 1 db/journals/iandc/iandc93.html#Breazu-TannenCGS91