Semantics of concurrent computation : proceedings of the international symposium, Evian, July 2-4. 1979, France - Pnueli, Amir (rz1, 1979)