Basin, David A. Programming Logics, MPI for Informatics, Max Planck Society;
Walsh, Toby Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dtXAS (Verlagsversion)
Basin, D. A., & Walsh, T. (1996). A Calculus for and Termination of Rippling. Journal of Automated Reasoning, 16(1/2), 147-180. doi:10.1007/BF00244462.