Title: The formal semantics of deterministic dataflow programs
First published: 1984