Proceedings of the conference on TRI-Ada '96 disciplined software development with Ada
ACM Digital Library