Julian Seward. Solving recursive domain equations by term rewriting. In John T. O'Donnell, Kevin Hammond, editors, Proceedings of the 1993 Glasgow Workshop on Functional Programming, Ayr, Scotland, UK, July 5-7, 1993. Workshops in Computing, pages 265-279, Springer, 1993. [doi]