Homomorphisms and promotability (1989)

by Grant Malcolm
Venue:Mathematics of Program Construction, LNCS 375