APA-referens (7:e uppl.)
Timakov, A. A. (Feb 2024). Description of Paralocks Language Semantics in TLA+. Programming and Computer Software. https://doi.org/10.1134/S0361768824010110
Chicago-referens (17:e uppl.)
Timakov, A. A. "Description of Paralocks Language Semantics in TLA+." Programming and Computer Software Feb 2024. https://doi.org/10.1134/S0361768824010110.
MLA-referens (9:e uppl.)
Timakov, A. A. "Description of Paralocks Language Semantics in TLA+." Programming and Computer Software, Feb 2024, https://doi.org/10.1134/S0361768824010110.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.