Title: Calculus of Total Correctness for Communicating Processes
First published: 1981