Initiality, induction and computability (1985)

by J Meseguer, J Goguen
Venue:Algebraic Methods in Semantics