A categorical algorithm for calculating flow graphs
Title
Papers
Demonstration
Algorithm
Semantics