Relchel Horst Initial computability, algebraic specifications and partial algebras - 1987 Standard No.: 5943 Source: Textual Dewey Class. No.: B2obD6,8(B), M7