Ada for Software Engineers (Second Edition with Ada 2005) - Ben-Ari, Mordechai (Springer London, 2009)