TRI-Ada 1992: Orlando, Florida, USA - Tutorials, Volume 2

Tutorial Proceedings on TRI-Ada '92, Volume 2, November 17-20, 1992, Orlando, Florida USA. ACM, 1992