Program correctness: on inductive assertion methods

IEEE Trans. Software Eng. , 6(5), 465-479

Publication date: February 21, 1980

J. King