Manfred Krause: Die Korrektheit einer Implementation der Modulpräfigierung mit reiner Static-scope-Semantik. University of Kiel, Germany 1986, 1-184