Stepwise software development with algebraic specifications - Beierle, Christoph 1954-; Voss, Angelika (IWBS, 1990)
Literaturverz. S. 37 - 41