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