John Beidler. Experiences building data structure artifacts in Ada9X. In Stowe Boyd, editor, Proceedings of the Eleventh Annual Washington Ada Symposium & summer ACM SIGAda Meeting on Ada, WADAS 1994, McLean, Virginia, USA, 1994. pages 108-112, ACM, 1994. [doi]
Abstract is missing.