APA-referens (7:e uppl.)

Logical Methods in Computer Science | Logical Methods in Computer Science e.V. Cambridge University Press.

Chicago-referens (17:e uppl.)

Logical Methods in Computer Science | Logical Methods in Computer Science E.V. Cambridge University Press.

MLA-referens (8:e uppl.)

Logical Methods in Computer Science | Logical Methods in Computer Science E.V. Cambridge University Press.

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