Stephen J. Garland, John V. Guttag
Inductive Methods for Reasoning about Abstract Data Types
POPL, 1988.
@inproceedings{POPL-1988-GarlandG,
author = "Stephen J. Garland and John V. Guttag",
booktitle = "{Conference Record of the 15th Annual Symposium on Principles of Programming Languages}",
doi = "10.1145/73560.73579",
editor = "Jeanne Ferrante and P. Mager",
isbn = "0-89791-252-7",
pages = "219--228",
publisher = "{ACM Press}",
title = "{Inductive Methods for Reasoning about Abstract Data Types}",
year = 1988,
}