German computer scientist
Advances in cryptology, 1981-1997
Gerhard Goos
Automata, Languages and Programming (Fourth Colloquium, Univ of Turku, Finland, July 18-22, 1977)
Computer Aided Vertification
Visual information and information systems
Vorlesungen über Informatik