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