Mathematical Approach to Glass - Volf, Miloš Bohuslav (SNTL, 1988)