Constructing Programs from Example Computations. - Alan W. Biermann; Ramachandran Krishnaswamy (IEEE Trans. Software Eng., 1976)

Formal Methodology of Translation. I. Semantic Preserving Translations - Ramachandran Krishnaswamy; H. William Buttelmann (Inf. Control., 1978)

Formal Methodology of Translation. II. Capabilities and Limitations - Ramachandran Krishnaswamy; H. William Buttelmann (Inf. Control., 1978)

On the Correctness of Semantic-Syntax-Directed Translations. - Ramachandran Krishnaswamy; Arthur B. Pyster (J. ACM, 1980)

Test Programming Environment in a Modular, Open Architecture Test System. - Ankan K. Pramanick; Ramachandran Krishnaswamy; Mark Elston; Toshiaki Adachi; Harsanjeet Singh; Bruce R. Parnas (ITC, 2004)