Data structures with abstract data types and ADA - Daniel F Stubbs (PWS, 1993)