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