A. Mauboussin, H. Perdrix, Michel Bidoit, Marie-Claude Gaudel, Jacques Hagelstein. From an ERAE Requirements Specification to a PLUSS Algebraic Specificatiaon: A Case Study. In Jan A. Bergstra, Loe M. G. Feijs, editors, Algebraic Methods II: Theory, Tools and Applications [papers from a workshop in Mierlo, The Netherlands, September 1989]. Volume 490 of Lecture Notes in Computer Science, pages 395-431, Springer, 1989.
Abstract is missing.