Intensional and extensional semantics of dataflow programs
scientific article; zbMATH DE number 2132388