Hubert B. Keller, Erhard Plödereder: Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings. Lecture Notes in Computer Science 1845, Springer 2000, ISBN 3-540-67669-4