Stephen R. Lindsay;Mark A. Roth
Phillips Laboratory, PL/VTQ, 3550 Aberdeen Ave SE, Kirtland AFB, NM;United States Strategic Command, USSTRATCOMI/J673, 901 SAC Blvd, STE 2810, Offutt AFB, NE
ROMAN-9X: a technique for representing object models in Ada 9X notation
TRI-Ada '93 Proceedings of the conference on TRI-Ada '93