Reasoning about concurrent systems: a functional approach

Bibliografske podrobnosti
Glavni avtor: Abramsky, S
Format: Conference item
Izdano: Academic Press 1984