@incollection{BasinBKB,
Author = {David Basin and Bernd Krieg-Br\"uckner},
Title = {Formalization of the Development Process},
Booktitle = {Algebraic Foundations of System Specification},
EDITOR = {Egidio Astesiano and Hans-J\"org Kreowski and Bernd Krieg-Br\"uckner},
PUBLISHER = {Springer-Verlag},
YEAR = 1998,
PAGES = {521--562}
}