Roy L. Crole, Andrew D. Gordon. Factoring an Adequacy Proof (Preliminary Report). 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 9-25, Springer, 1993. [doi]
Abstract is missing.