Gunther Schmidt Thomas Ströhlein Relationen und Graphen Mathematik für Informatiker Springer 1989 3-540-50304-8