Proceedings of the conference on TRI-ADA '90
ACM Digital Library