Software development with Ada - Sommerville, Ian; Morrison,Ron (Workingham England, Addison -Wesley Publishers, 1987)