Helmuth Partsch
On the Use of Algebraic Methods for Formal Requirements Definitions
RE, 1983.
@inproceedings{RE-1983-Partsch,
author = "Helmuth Partsch",
booktitle = "{Proceedings of the Workshop (Arbeitstagung) on Requirements Engineering}",
isbn = "3-540-12692-9",
pages = "138--158",
publisher = "{Springer-Verlag}",
series = "{Informatik-Fachberichte}",
title = "{On the Use of Algebraic Methods for Formal Requirements Definitions}",
volume = 74,
year = 1983,
}