1. Interval timed coloured Petri nets and their analysis;van der Aalst,1993
2. The algorithmic analysis of hybrid systems;Alur;Theoret. Comput. Sci.,1995
3. A theory of timed automata;Alur;Theoret. Comput. Sci.,1994
4. Category Theory for Computing Science;Barr,1999
5. Foundations of Constructive Mathematics;Beeson,1985