Von algebraischen Spezifikationen zu algebraischen Programmen - Hansen, Horst (1986)