Proceedings of the 1987 annual ACM SIGAda international conference on