APA (7th ed.) Citation

Shields, M. W., & Lauer, P. E. (1979). A formal semantics for concurrent systems.

Chicago Style (17th ed.) Citation

Shields, Michael William, and Peter E. Lauer. A Formal Semantics for Concurrent Systems. Newcastle upon Tyne, 1979.

MLA (9th ed.) Citation

Shields, Michael William, and Peter E. Lauer. A Formal Semantics for Concurrent Systems. 1979.