James L. Silver. Using Ada to specify and evaluate projects in a data structures course. In Nell B. Dale, editor, Proceedings of the 22nd SIGCSE Technical Symposium on Computer Science Education, 1991, San Antonio, Texas, USA, March 7-8, 1991. pages 337-340, ACM, 1991. [doi]
Abstract is missing.