Algebraic foundations of systems specification (Springer, 1999)
Literaturverz. S. 563 - 610