Title: Von algebraischen Spezifikationen zu algebraischen Programmen