John V. Guttag, James J. Horning. The Algebraic Specification of Abstract Data Types. Acta Informatica, 10:27-52, 1978.
@article{GuttagH78,
title = {The Algebraic Specification of Abstract Data Types},
author = {John V. Guttag and James J. Horning},
year = {1978},
tags = {data-flow, algebraic specification, algebra},
researchr = {https://researchr.org/publication/GuttagH78},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {10},
pages = {27-52},
}