Email Record: Initial computability, algebraic specifications, and partial algebras /