Maarten H. van Emden, T. S. E. Maibaum. Equations Compared with Clauses for Specification of Abstract Data Types. In Advances in Data Base Theory. pages 159-193, 1979.
@inproceedings{EmdenM79,
title = {Equations Compared with Clauses for Specification of Abstract Data Types},
author = {Maarten H. van Emden and T. S. E. Maibaum},
year = {1979},
tags = {data-flow, e-science},
researchr = {https://researchr.org/publication/EmdenM79},
cites = {0},
citedby = {0},
pages = {159-193},
booktitle = {Advances in Data Base Theory},
}