Algebraic specifications in software engineering : an introduction / - Horebeek, Ivo van, (Springer-Verl c1989.)