Title: CIRCAL and the representation of communication, concurrency and time
First published: 1983