The power of temporal proofs - Abadi, Martín 1963- (1988)