Data Flow for High-level Design and Specification (1990)

by Wolfgang Mueller