Lamport, L. (1986). A simple approach to specifying concurrent systems.
Chicago-Zitierstil (17. Ausg.)Lamport, Leslie. A Simple Approach to Specifying Concurrent Systems. Palo Alto, Calif, 1986.
MLA-Zitierstil (9. Ausg.)Lamport, Leslie. A Simple Approach to Specifying Concurrent Systems. 1986.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.