More on Nested Monitor Calls. - Mathai Joseph; V. R. Prasad (ACM SIGOPS Oper. Syst. Rev., 1978)

Some Aspects of Concurrent Programmming in CCNPASCAL. - K. T. Narayana; V. R. Prasad; Mathai Joseph (Softw. Pract. Exp., 1979)

Variable Number of Parameters in Typed Languages. - V. R. Prasad (Softw. Pract. Exp., 1980)

Interference-Freedom in Proofs of CSP Programs. - V. R. Prasad (ICDCS, 1984)