Vincenzo Auletta Roberto De Prisco Paolo Penna Giuseppe Persiano Carmine Ventre New Constructions of Mechanisms with Verification. 596-607 2006 conf/icalp/2006-1 ICALP (1) http://dx.doi.org/10.1007/11786986_52 db/conf/icalp/icalp2006-1.html#AulettaPPPV06