-K. Hardy/J. Briggs (Eds.): Reliable Software Technologies - Ada-Europe '97. Proccedings, Springer-Verlag 1997