Fred Kröger. Eine axiomatische Studie zur Identifikation von Identifikatoren. In Bodo Schlender, Wolfgang Frielinghaus, editors, 3. Fachtagung über Programmiersprachen, Gesellschaft für Informatik, Kiel, 5.-7. März 1974, Proceedings. Volume 7 of Lecture Notes in Computer Science, pages 25-33, Springer, 1974.