Stephen J. Garland, John V. Guttag. Inductive Methods for Reasoning about Abstract Data Types. In POPL. pages 219-228, 1988.
@inproceedings{GarlandG88:0,
title = {Inductive Methods for Reasoning about Abstract Data Types},
author = {Stephen J. Garland and John V. Guttag},
year = {1988},
tags = {data-flow},
researchr = {https://researchr.org/publication/GarlandG88%3A0},
cites = {0},
citedby = {0},
pages = {219-228},
booktitle = {POPL},
}