Introduction to abstract data types using Ada - Hillam, Bruce (Prentice Hall, 1994)