1. Department Computing & Software, McMaster University, Hamilton, Ont., L8S4K1 Canada. E-mail: bruha@mcmaster.ca
2. Department of Mathematics, Faculty of Electrical Engineering, Czech Technical University, 16627 Praha, Czech Republic. E-mail: tkadlec@fel.cvut.cz