Dynamics in information systems specification, construction, and correctness ; an algebraic approach - Classen, Ingo; Gogolla, Martin; Löwe, Michael (Technische Universität <Berlin> / Fachbereich Informatik: Bericht, 1996)