Informatik (Berlin : Springer, 1986)