1. Verifying Temporal Properties of Systems;Bradfield,1992
2. K. Futatsugi and A. Nakagawa. An overview of Cafe project. In First CafeOBJ workshop, Yokohama, Japan, 1996. Available at: http://ldl-www.jaist.ac.jp:8080/cafeobj/abstracts/ocp.html.
3. Pushouts of order-sorted algebraic specifications;Haxthausen,1996
4. Coalgebraic specifications and models of deterministic hybrid systems;Jacobs,1996
5. Results on the propositional mu-calculus;Kozen;Theoretical Computer Science,1983