The Power of the Future Perfect in Program Logics.

Matthew Hennessy, Colin Stirling

Browse the full MFCS paper archive.