Title: Consistency of the Calculus of Total Correctness for Communicating Processes
First published: 1982