APA (7th ed.) Citation

Abadi, M. (1988). The power of temporal proofs.

Chicago Style (17th ed.) Citation

Abadi, Martín. The Power of Temporal Proofs. Palo Alto, Calif, 1988.

MLA (9th ed.) Citation

Abadi, Martín. The Power of Temporal Proofs. 1988.

Warning: These citations may not always be 100% accurate.