Fresh - "Fresh: A Higher-Order Language Based on Unification", G. Smolka,
in Logic Programming: Functions, Relations and Equations", D. DeGroot et
al, P-H 1986, pp.469-524.
Fresh Programming Language
http://www.programming-languages.co.uk/fresh.html
Large list of computer programming languages arranged alphabetically, with explanations.