Introduction to abstract data types using Ada

Bruce Hillam
Prentice Hall
9780130459497
0-13-045949-6