A Generic Approach to the Formal Specification of Requirements.

Christian Peper Reinhard Gotzhein Martin Kronenburg A Generic Approach to the Formal Specification of Requirements. 252- 1997 ICFEM db/conf/icfem/icfem1997.html#PeperGK97