Matematické důkazy - Thiele, Rüdiger (SNTL, 1985)