Von algebraischen Spezifikationen zu algebraischen Programmen - Hansen, Horst (Berlin, Techn. Univ., Diss., 1986, 1986)
Mikrofiche-Ausg.: 133 S. : zahlr. graph. Darst.