Title: Algebraic specification and proof of properties of communicating sequential processes
First published: 1985