Matthew Hennessy, Colin Stirling. The Power of the Future Perfect in Program Logics. In Michal Chytil, Václav Koubek, editors, Mathematical Foundations of Computer Science 1984, Praha, Czechoslovakia, September 3-7, 1984, Proceedings. Volume 176 of Lecture Notes in Computer Science, pages 301-311, Springer, 1984.
Abstract is missing.