Rolf Wildhack: Formale Spezifikationsmethoden auf dem Prüfstand: Erfahrungen bei der Implementierung komplexer Middleware. FBT 1997: 273-282