NORMA: A graph reduction processor (1986)

by M Scheevel
Venue:In Lisp and functional programming