APA (7th ed.) Citation

Merz, S. (1992). Temporal logic as a programming language.

Chicago Style (17th ed.) Citation

Merz, Stephan. Temporal Logic as a Programming Language. 1992.

MLA (9th ed.) Citation

Merz, Stephan. Temporal Logic as a Programming Language. 1992.

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