Helmuth Partsch, Alfred Laut. From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications. In Hans Wössner, editor, Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings. Volume 53 of Informatik-Fachberichte, pages 117-132, Springer, 1982.
@inproceedings{PartschL82,
title = {From Requirements to their Formalization - A Case Study on the Stepwise Development of Algebraic Specifications},
author = {Helmuth Partsch and Alfred Laut},
year = {1982},
tags = {case study, algebraic specification, algebra},
researchr = {https://researchr.org/publication/PartschL82},
cites = {0},
citedby = {0},
pages = {117-132},
booktitle = {Programmiersprachen und Programmentwicklung, 7. Fachtagung, veranstaltet vom Fachausschuß 2 der GI, München, 9./10. März 1982, Proceedings},
editor = {Hans Wössner},
volume = {53},
series = {Informatik-Fachberichte},
publisher = {Springer},
isbn = {3-540-11204-9},
}