Broersma, Hajo, Faculty of Electrical Engineering, Mathematics and Computer Science, University of Twente, P.O.Box 217, 7500 AE Enschede, The Netherlands