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

by W. Mueller