Kei Davis. Analysing Functions by Projection-Based Backward Abstraction. In John Launchbury, Patrick M. Sansom, editors, Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992. Workshops in Computing, pages 43-56, Springer, 1992.
Abstract is missing.