Software construction and data structures with Ada 95 /
Feldman, Michael B.
Reading, Mass. ; Harlow : Addison-Wesley,
c1997.
Ada (Computer program language)