APA (7th ed.) Citation

Abadi, M., & Lamport, L. (1990). Composing specifications.

Chicago Style (17th ed.) Citation

Abadi, Martín, and Leslie Lamport. Composing Specifications. Palo Alto, Calif, 1990.

MLA (9th ed.) Citation

Abadi, Martín, and Leslie Lamport. Composing Specifications. 1990.

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