TY  - BOOK
AU  - Reichel, Horst
TI  - INITIAL COMPUTABILITY, ALGEBRAIC SPECIFICATIONS, AND PARTIAL ALGEBRAS
U1  - 512 
PY  - 1987///
CY  - Oxford
PB  - Clarendon Pr.
KW  - Electronic Data Processing -- Mathematics
KW  - Data Structures (Computer Science)
KW  - Programming Languages (Electronic Computers) -- Semantics
ER  -