Computational discrete mathematics: advanced lectures - Alt, Helmut (Lecture notes in computer science, 2001)