Proceedings of the conference on TRI-Ada '92 - Engle