Transformation of Program Schemes to Standard Forms - Sanat K. Basu (SWAT, 1968)

On Classes of Computable Functions - Sanat K. Basu (STOC, 1969)

On the Structure of Subrecursive Degrees. - Sanat K. Basu (J. Comput. Syst. Sci., 1970)

Proving Loop Programs. - Sanat K. Basu; Jayadev Misra (IEEE Trans. Software Eng., 1975)

Strong Verification of Programs. - Sanat K. Basu; Raymond T. Yeh (IEEE Trans. Software Eng., 1975)

Some Classes of Naturally Provable Programs. - Sanat K. Basu; Jayadev Misra (ICSE, 1976)

On the depth of a planar graph. - Vinay G. Kane; Sanat K. Basu (Discret. Math., 1976)

A Note on Synthesis of Inductive Assertions. - Sanat K. Basu (IEEE Trans. Software Eng., 1980)

On Development of Iterative Programs from Function Specifications. - Sanat K. Basu (IEEE Trans. Software Eng., 1980)