A New Abstract Machine for Subset Equational Languages (1991)

by G SUCCI, J MARINO