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