Hoare, C. (2015). Satisfiability.
Chicago-referens (17:e uppl.)Hoare, C. Satisfiability. 2015.
MLA-referens (9:e uppl.)Hoare, C. Satisfiability. 2015.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.
APA-referens (7:e uppl.)