Vzaimodejstvujuščie posledovatel'nye processy. - Hoare, C.A.R. (Moskva : Mir - Moskva, 1989)
Prijevod djela: COMMUNICATING SEQUENTIAL PROCESSES