Maura Cerioli, Martin Gogolla, Hélène Kirchner, Bernd Krieg-Brückner, Zhenyu Qian, et al.. Algebraic System Specification and Developement:Survey and Annotated Bibliography. Shaker Verlag, 230 p, 1999, Monographs of the Bremen Institute of Safe Systems.
⟨inria-00098980⟩