Mauw, Sjouke ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Verschuren, J. H. S.; Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, P.O. Box 5600 MB Eindhoven, The Netherlands
Vink, E. P. De; Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, P.O. Box 5600 MB Eindhoven, The Netherlands