1. A Theory of Objects;Abadi,1996
2. Object-Oriented Reuse, Concurrency and Distribution;Atkinson,1991
3. Synchronous programming with events and relations: the Signal language and its semantics;Benveniste;Science of Computer Programming,1991
4. The Esterel synchronous programming language: design, semantics, implementation;Berry;Science of Computer Programming,1992
5. F. Boussinot, C. Laneve, Two Semantics for a Language of Reactive Objects Research report n. 2511. Inria, March 1995