1-1 of 1 Books
Initial computability, algebraic specifications, and partial algebras
By Horst Reichel