Ada for software engineers (second edition with ada 2005) - Ben-Ari, Mordechai (Springer London, 2009)