Reliable Software Technologies - Ada-Europe 2004 - heftet, Engelsk, 2004