Yellamraju V. Srinivas. Refinement of parameterized algebraic specifications. In Richard S. Bird, Lambert G. L. T. Meertens, editors, Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France. Volume 95 of IFIP Conference Proceedings, pages 164-186, Chapman & Hall, 1997.
@inproceedings{Srinivas97,
title = {Refinement of parameterized algebraic specifications},
author = {Yellamraju V. Srinivas},
year = {1997},
tags = {refinement, algebraic specification, algebra},
researchr = {https://researchr.org/publication/Srinivas97},
cites = {0},
citedby = {0},
pages = {164-186},
booktitle = {Algorithmic Languages and Calculi, IFIP TC2 WG2.1 International Workshop on Algorithmic Languages and Calculi, 17-22 February 1997, Alsace, France},
editor = {Richard S. Bird and Lambert G. L. T. Meertens},
volume = {95},
series = {IFIP Conference Proceedings},
publisher = {Chapman & Hall},
isbn = {0-412-82050-1},
}