Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada - Carlson