https://www.hni.uni-paderborn.de/fileadmin/Fachgruppen/Algorithmen/Lehre/Vorlesungsarchiv/SS2011/Concrete_Complexity_Theory/ACTs_Ben-Or.pdf