Geoffrey L. Burn. A Logical Framework for Program Analysis. 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 30-42, Springer, 1992.
Abstract is missing.