James Stanley
-
Ada abstraction, generation, verification
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93
Empirical guidelines to use Ada effectively
SIGAda '87 Proceedings of the 1987 annual ACM SIGAda international conference on Ada