Peter Bachmann Analysis of Weakly Interpreted Program Schemes. 15-26 1981 17 Elektronische Informationsverarbeitung und Kybernetik 1 db/journals/eik/eik17.html#Bachmann81