Dynamics in information systems : specification, construction, and correctness an algebraic approach - Claßen, Ingo (Forschungsberichte des Fachbereichs Informatik / Technische Universität Berlin, 1996)