Title: Developing highly concurrent systems
First published: 1995