Günter Grosche Syntaktische Untersuchungen zu Mathematischen Sprachen II. 107-128 1971 7 Elektronische Informationsverarbeitung und Kybernetik 2 db/journals/eik/eik7.html#Grosche71a