Steven Rudich Leonard Berman Optimal Circuits and Transitive Automorphism Groups. 516-524 1988 conf/icalp/1988 ICALP db/conf/icalp/icalp88.html#RudichB88 http://dx.doi.org/10.1007/3-540-19488-6_138