Dynamics in information systems specification, construction, and correctness ; an algebraic approach - Classen, Ingo; Gogolla, Martin; Löwe, Michael (Leiter der Fachbibliothek Informatik, Sekretariat FR 5-4, 1996)