Proceedings of the 1985 annual ACM SIGAda international conference on Ada
ACM Digital Library