Homomorphisms and promotability (1989)

by G Malcolm
Venue:Mathematics of Program Construction