Verification of programs that destructively manipulate data (1988)

by I A Mason
Venue:Science of Computer Programming