Karl A. Nyberg
Grebyn Corp., Vienna, VA
Ada experience in the undergraduate curriculum
Communications of the ACM
Ada abstraction, generation, verification
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93