Bernd Krieg-Brückner
Algebraic System Specification and Development
Survey and Annotated Bibliography 2nd Edition, 1997