Minimal Term Rewriting Systems. - J. F. Th. Kamperman; H. R. Walters (COMPASS/ADT, 1995)

A Model for I/O in Equational Languages with Don't Care Non-determinism. - H. R. Walters; J. F. Th. Kamperman (COMPASS/ADT, 1995)

Lazy Rewriting and Eager Machinery. - J. F. Th. Kamperman; H. R. Walters (RTA, 1995)

EPIC: An Equational Language -Abstract Machine Supporting Tools-. - H. R. Walters; J. F. Th. Kamperman (RTA, 1996)