"EPIC: An Equational Language -Abstract Machine Supporting Tools-."

H. R. Walters, J. F. Th. Kamperman (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics