Initial computability, algebraic specifications, and partial algebras
Reichel, Horst.
Oxford Clarendon
1987
Includes bibliography and index
Electronic digital computers
Electronic data processing
Algebra.