Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini. Shared Abstract Data Types: An Algebraic Methodology for Their Specification. In János Demetrovics, Bernhard Thalheim, editors, MFDBS 89, 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989. Volume 364 of Lecture Notes in Computer Science, pages 53-67, Springer, 1989. [doi]
@inproceedings{BondavalliFLV89,
title = {Shared Abstract Data Types: An Algebraic Methodology for Their Specification},
author = {Andrea Bondavalli and Nicoletta De Francesco and Diego Latella and Gigliola Vaglini},
year = {1989},
tags = {data-flow, algebraic specification, algebra},
researchr = {https://researchr.org/publication/BondavalliFLV89},
cites = {0},
citedby = {0},
pages = {53-67},
booktitle = {MFDBS 89, 2nd Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, June 26-30, 1989},
editor = {János Demetrovics and Bernhard Thalheim},
volume = {364},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-51251-9},
}