Jacek Leszczylowski, Martin Wirsing. A system for reasoning within and about algebraic specifications. In Mariangiola Dezani-Ciancaglini, Ugo Montanari, editors, International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings. Volume 137 of Lecture Notes in Computer Science, pages 257-282, Springer, 1982.
@inproceedings{LeszczylowskiW82,
title = {A system for reasoning within and about algebraic specifications},
author = {Jacek Leszczylowski and Martin Wirsing},
year = {1982},
tags = {algebraic specification, algebra},
researchr = {https://researchr.org/publication/LeszczylowskiW82},
cites = {0},
citedby = {0},
pages = {257-282},
booktitle = {International Symposium on Programming, 5th Colloquium, Torino, Italy, April 6-8, 1982, Proceedings},
editor = {Mariangiola Dezani-Ciancaglini and Ugo Montanari},
volume = {137},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-11494-7},
}