Horst Hansen. The ACT System: Experiences and Future Enhancements. In Donald Sannella, Andrzej Tarlecki, editors, Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, September 1-4, 1987, Selected Papers. Volume 332 of Lecture Notes in Computer Science, pages 113-130, Springer, 1987.
Abstract is missing.