The power of the future perfect in program logics - Hennessy, Matthew C.; Stirling, Colin (University <Edinburgh>, 1983)