Ryszard Janicki
Department of Computing and Software, McMaster University, Hamilton, Ontario, Canada L8S 4K1 janicki@mcmaster.ca
Peter Lauer and COSY
Fundamenta Informaticae