My pages are now available at http://www-kiv.zcu.cz/~jezek_ka