A Graphic Language Based on Timing Diagrams.

Christian Antoine Bernard Le Goff Jean-Eric Pin A Graphic Language Based on Timing Diagrams. 306-316 1993 conf/fsttcs/1993 FSTTCS db/conf/fsttcs/fsttcs93.html#AntoineGP93 http://dx.doi.org/10.1007/3-540-57529-4_63