Krishna Rao, M. R. K. Programming Logics, MPI for Informatics, Max Planck Society;
Krishna Rao, M. R. K. (1998). Modular Aspects of term graph rewriting. Theoretical Computer Science, 208(1/2), 59-86.