Die Korrektheit einer Implementation der Modulpräfigierung mit reiner Static-scope-Semantik

Manfred Krause. Die Korrektheit einer Implementation der Modulpräfigierung mit reiner Static-scope-Semantik. PhD thesis, University of Kiel, Germany, 1986. [doi]

Abstract

Abstract is missing.