An Assertion Language for Data Structures.

Stephen A. Cook, Derek C. Oppen

Browse the full POPL paper archive.