Initial computability, algebraic specifications, and partial algebrasHorst ReichelÉpuisé4,3Prévenez-moi
