Krishna Rao, M. R. K. Programming Logics, MPI for Informatics, Max Planck Society;
Krishna Rao, M. R. K. (1996). Some characteristics of strong innermost normalization. In M. Wirsing, & M. Nivat (Eds.), Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96 (pp. 406-420). Berlin, Germany: Springer.