INITIAL COMPUTABILITY, ALGEBRAIC SPECIFICATIONS, AND PARTIAL ALGEBRAS - Reichel, Horst (Oxford Clarendon Pr., 1987)
Keywords: Electronic Data Processing -- Mathematics; Data Structures (Computer Science); Programming Languages (Electronic Computers) -- Semantics