Books by Ada-Europe International Conference on Reliable Software Technologies (1997 London, England)