Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Walsh, Toby Programming Logics, MPI for Informatics, Max Planck Society;
Basin, D. A., & Walsh, T. (1996). A Calculus for and Termination of Rippling. In H. Zhang (Ed.), Automated mathematical induction (pp. 147-180). Dordrecht, The Netherlands: Kluwer.