John C. Thompson, Reza Sanati-Mehrizy. Formalization of operations and function definitions in a functional programming language for data structures. In Pat Davis, Vicki McClintock, editors, Proceedings of the 15th ACM Annual Conference on Computer Science, St. Louis, Missouri, USA, February 16-19, 1987. pages 210-219, ACM, 1987. [doi]
Abstract is missing.