Text this: Initial computability, algebraic specifications, and partial algebras /