Krishna Rao, M. R. K. Programming Logics, MPI for Informatics, Max Planck Society;
Krishna Rao, M. R. K. (2000). Some characteristics of strong innermost normalization. Theoretical Computer Science, 239(1), 141-164.