1. On computable numbers with an application to the Entscheidungsproblem;Turing,1936
2. The Temporal Logic of Reactive and Concurrent Systems;Manna,1991
3. Real-Time UML;Douglass,1998
4. Cooperating sequential processes;Dijkstra,1968
5. Concurrent Programming in JavaTM: Design Principles and Patterns;Lea,1997