Zur algorithmischen Synthese von schnellen Programmen - Zeugmann, Thomas (1983)
Berlin, Ost, Univ., Diss.