Pascal Aubry Thierry Gautier GC: the Data-Flow Graph Format of Synchronous Programming. 83-93 1995 Intermediate Representations Workshop db/conf/irep/irep95.html#AubryG95