Inductive Methods for Reasoning about Abstract Data Types.

Stephen J. Garland, John V. Guttag

Browse the full POPL paper archive.