Proving Assertions about Programs that Manipulate Data Structures

Derek C. Oppen, Stephen A. Cook

Browse the full STOC paper archive.