Diofantické programování - Dojiva, Radim (1986)