Helmuth Partsch. On the Use of Algebraic Methods for Formal Requirements Definitions. In Günter Hommel, Dirk Krönig, editors, Requirements Engineering, Arbeitstagung der GI, Friedrichshafen, 12.-14. Oktober 1983. Volume 74 of Informatik-Fachberichte, pages 138-158, Springer, 1983.
Abstract is missing.