Krishna Rao, M. R. K. Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dvCo2 (Publisher version)
Krishna Rao, M. R. K. (1996). Some Characteristics of Strong Innermost Normalization. In M. Wirsing, & M. Nivat (Eds.), Algebraic Methodology and Software Technology (pp. 406-420). Berlin, Germany: Springer.