TY - GEN AU - Reichel, Horst AU - Reichel, Horst TI - Initial computability, algebraic specifications and partial algebras SN - 0 19 853806 5 PY - 1987/// CY - Oxford PB - Clarendon Press KW - Electronic data processing - Mathematics KW - Data structures (Computer Science) KW - Programming languages (Electronic Computers) - semantics KW - Partial algebras ER -