Title: Semantics of a synchronous parallel programming language
First published: 1983