1. The SNOBOL4 Programming Language;Griswold,1971
2. From PLANNER to CONNIVER — a genetic approach;Sussman,1972
3. Programming in Prolog;Clocksin,1981
4. The Icon Programming Language;Griswold,1990
5. Fresh: a higher-order language with unification and multiple results;Smolka,1986