Title: A calculus of total correctness for communicating processes
First published: 1981