Corporate Microsoft Press
Redmond, WA
Ada abstraction, generation, verification
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93