Horn, Christian Bericht über die Spezifikationssprache ABSTRACT-PASCAL. (German) Zbl 0591.68012 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 77, 78 S. (1985). MSC: 68N01 68P05 PDFBibTeX XMLCite \textit{C. Horn}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 77, 78 S. (1985; Zbl 0591.68012)
Bothe, Klaus An algorithmic interface structure for PASCAL compilers: Compiler portability by modularization. (English) Zbl 0577.68045 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 73, 35 p. (1985). MSC: 68N25 PDFBibTeX XMLCite \textit{K. Bothe}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 73, 35 p. (1985; Zbl 0577.68045)
Bär, D. Abstractions in PASCAL programming. (English) Zbl 0425.68009 Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 12, 125 p. (1979). MSC: 68N01 PDFBibTeX XMLCite \textit{D. Bär}, Seminarber., Humboldt-Univ. Berlin, Sekt. Math. 12, 125 p. (1979; Zbl 0425.68009)