Title: Dataflow algebras as formal specifications of data flows
First published: 1995