Proof Appendix for Loop Leaping with Closures (2012)

by S Biallas, J Brauer, A King, S Kowalewski