Title: Partial correctness of communicating processes and protocols
First published: 1981