1. André, C., SyncCharts: A visual representation of reactive behaviors, RR 95-52, I3S (1995)
2. Representation and analysis of reactive behaviors: A synchronous approach;André,1996
3. An algebraic characterization of observational equivalence;Arnold;Theoretical Computer Science,1996