Krishna Rao, M. R. K. Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dvCo2 (出版社版)
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.