Term rewriting without exceptions. Science of computer programming (1989)

by M Spivey