Sanat K. Basu Jayadev Misra Proving Loop Programs. 76-86 1975 1 IEEE Trans. Software Eng. 1 db/journals/tse/tse1.html#BasuM75