Initial Computability, Algebraic Specifications, and Partial Algebras
Horst Reichel · 1987
Introduction Specification of abstract data types with partial operations Equational partiality Partial algebras defined by generators and relations Canons - initially restricting algebraic theories Canons of behaviour References Index.