@incollection{BGGORV83,
   AUTHORlong = BGGORV83authors,
   AUTHOR = {C. Beierle and M. Gerlach and
         R. G\"{o}bel and W. Olthoff and P. Raulefs and A. Voss},
   TITLE = "Integrated Program Development and Verification",
   BOOKTITLE = "Software Validation",
   EDITOR = "H.-L. Hausen",
   PUBLISHER = {North-Holland Publ. Co.},
   ADDRESS = {Amsterdam},
   YEAR = 1984,
   PAGES = "189--206"                 }