Initial computability, algebraic specifications, and partial algebras | lit.salon