Von algebraischen Spezifikationen zu algebraischen Programmen - Hansen, Horst (Zugl.: Berlin, Techn. Univ., Diss., 1986)