Joan Boyar Gilles Brassard René Peralta 69-78 conf/focs/FOCS32 1991 FOCS db/conf/focs/focs91.html#BoyarBP91