Reliable Software Technologies - ADA-Europe '99: 1999 ADA-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7- (Paperback, 1999)