Title: Specification and analysis of concurrency
First published: 1983