Software Synthesis From Dataflow Graphs door Shuvra S. Bhattacharyya, Edward A. Lee & Praveen K. Murthy