Fresh: A Higher-Order Language with Unification and Multiple Results (1985)

by G Smolka, P Panangaden