Rolf Hennicker, Martin Wirsing. Proof Systems for Struvtured Algebraic Specifications: An Overview. In Bogdan S. Chlebus, Ludwik Czaja, editors, Fundamentals of Computation Theory, 11th International Symposium, FCT 97, Kraków, Poland, September 1-3, 1997, Proceedings. Volume 1279 of Lecture Notes in Computer Science, pages 19-37, Springer, 1997.
@inproceedings{HennickerW97,
title = {Proof Systems for Struvtured Algebraic Specifications: An Overview},
author = {Rolf Hennicker and Martin Wirsing},
year = {1997},
tags = {algebraic specification, algebra},
researchr = {https://researchr.org/publication/HennickerW97},
cites = {0},
citedby = {0},
pages = {19-37},
booktitle = {Fundamentals of Computation Theory, 11th International Symposium, FCT 97, Kraków, Poland, September 1-3, 1997, Proceedings},
editor = {Bogdan S. Chlebus and Ludwik Czaja},
volume = {1279},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-63386-3},
}