Duarte Antunes is now at TU/Eindhoven. Please visit http://www.dct.tue.nl/New/Antunes/