Beeson, M. Mixing Computations and Proofs. JFR 2016, 9, 71-99.