Initiality, Induction and Computability (1985)

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