Software Construction And Data Structures With Ada 95 by Michael B. Feldman