-J.-R. Abrial/E. Börger/H. Langmaack (Eds.): Formal Methode for Industrial Applications. Springer-Verlag 1996