ASEP Publikace Přehled metod na řešení obyčejných a parciálních diferenciálních rovnic (1984) Analýza oblasti přijatelnosti u logických funkčních bloků (1983)