Initial Computability, Algebraic Specifications, and Partial Algebras (1987)

by H Reichel