@incollection{BOV86SE,
   AUTHORlong = "Christoph Beierle and Walter Olthoff and Angelika Voss",
   AUTHOR = "C. Beierle and W. Olthoff and A. Voss",
   TITLE = "Towards a Formalization of the Software Development Process",
   BOOKTITLE = "Software Engineering 86",
   EDITOR = "D. Barnes and P. Brown",
   PUBLISHER = {Peter Peregrinus Ltd.},
   ADDRESS = {London},
   YEAR = 1986,
   PAGES = "130--144"                 }