Peter Selinger: A Finite Alternation Result for Reversible Boolean Circuits. RC 2016: 271-285