Robert Robere, Jeroen Zuiddam: Amortized Circuit Complexity, Formal Complexity Measures, and Catalytic Algorithms. FOCS 2021: 759-769