Formal Aspects of Computing. Springer London.
Chicago-referens (17:e uppl.)Formal Aspects of Computing. Springer London.
MLA-referens (8:e uppl.)Formal Aspects of Computing. Springer London.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.