Thomas Seewaldt. Die Abbildung zwischen der Beschreibung informationeller Systeme und der Modulstruktur von Programmen grosser sequentieller imperativ programmierter Abwicklersysteme. PhD thesis, Kaiserslautern University of Technology, Germany, 1988. [doi]
Abstract is missing.