Proceedings of the conference on TRI-Ada '97
ACM Digital Library