Applications of continuous mathematics to computer science - Nguyen, Hung T. 1944-; Krejnovič, Vladik Ja (Kluwer, 1997)