Initial Computability, Algebraic Specifications, and Partial Algebras - Horst Reichel - E-bok | Bokus