Hutter, Dieter and Mantel, Heiko and Rock, Georg and Stephan, Werner and Wolpers, Andreas and Balser, Michael and Reif, Wolfgang and Schellhorn, Gerhard and Stenzel, Kurt (1998):
VSE: Controlling the Complexity in Formal Software Developments.
In: LNCS 1641, In: International Workshop on Applied Formal Methods -- FM-Trends, pp. pp.~351-358,
Boppard, Germany, Springer, [Conference or Workshop Item]

Ahrendt, Wolfgang and Beckert, Bernhard and Hähnle, Reiner and Menzel, Wolfram and Reif, Wolfgang and Schellhorn, Gerhard and Schmitt, Peter Bibel, Wolfgang and Schmitt, Peter (eds.) (1998):
Integration of Automated and Interactive Theorem Proving.
II, In: Automated Deduction: A Basis for Applications, pp. 97--116, Kluwer, [Book Section]

Hutter, Dieter and Mantel, Heiko and Rock, Georg and Stephan, Werner and Wolpers, Andreas and Balser, Michael and Reif, Wolfgang and Schellhorn, Gerhard and Stenzel, Kurt (1998):
VSE: Controlling the Complexity in Formal Software Developments.
In: LNCS 1641, In: International Workshop on Applied Formal Methods -- FM-Trends, pp. pp.~351--358,
Springer, [Conference or Workshop Item]