Reliable Software Technologies - Ada-europe '99 by Michael Gonzalez Harbour, M. Gonzales Harbour & J.S. de La Puente