author : W. J. Toetenel

Books

• VDM '91: Formal Software Development Methods, vol 1. 1991, with Soren Prehn