APA-referens (7:e uppl.)

Li, G., & Murawski, A. (2024). Probabilistic verification beyond context-freeness.

Chicago-referens (17:e uppl.)

Li, G., och A. Murawski. Probabilistic Verification Beyond Context-freeness. 2024.

MLA-referens (9:e uppl.)

Li, G., och A. Murawski. Probabilistic Verification Beyond Context-freeness. 2024.

Varning: dessa hänvisningar är inte alltid fullständigt riktiga.