Homomorphisms and Promotability (1989)

by Malcolm Grant
Venue:Proc. of the Int'l Conference on Mathematics of Program Construction, number 375 in Lecture Notes in Computer Science (LNCS