Proceedings of the conference on TRI-Ada '92