1-4 of 4 Books
Data structures and algorithms
By John Beidler
Reliable software technologies--Ada-Europe '99
By Ada-Europe International Conference on Reliable Software Technologies (1999 Santander, Spain)
Ada 95 quality and style
By
ADA 95
By Philippe J. Gabrini