Invariant properties in a dialog system. - K. T. Narayana; Sanjeev Dharap (Formal Methods in Software Development, 1990)

Formal Specification of a Look Manager. - K. T. Narayana; Sanjeev Dharap (IEEE Trans. Software Eng., 1990)