Initial computability, algebraic specifications and partial algebras - Relchel Horst (1987)