Proceedings of the conference on TRI-Ada '91 today's accomplishments; tomorrow's expectations
ACM Digital Library