From algebraic module specifications to component concepts and integrated modeling techniques - Frantzen, Lars (Forschungsberichte des Fachbereichs Informatik, 2001)