Abramsky, S. (1984). Reasoning about concurrent systems: A functional approach. Academic Press.
Chicago-referens (17:e uppl.)Abramsky, S. Reasoning About Concurrent Systems: A Functional Approach. Academic Press, 1984.
MLA-referens (9:e uppl.)Abramsky, S. Reasoning About Concurrent Systems: A Functional Approach. Academic Press, 1984.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.