Rewrite systems on a lattice of types (1985)

by R J Cunningham, A J J Dick
Venue:Acta Informatica