Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada - Carlson
On-Campus Access Only (IP based access)