1. Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1998)
2. Zakiuddin, I., Moffat, N., Goldsmith, M., Whitworth, T.: Property Based Compression Strategies. In: Proceedings of Second Workshop on Automated Verification of Critical Systems (AVoCS 2002), April 15-16, University of Birmingham (2002)
3. de Roever, W.P., de Boer, F., Hannemann, U., Hooman, J., Lakhnech, Y., Poel, M., Zwiers, J.: Concurrency Verification: Introduction to Compositional and Noncompositional Proof Methods. Cambridge Tracts in Theoretical Computer Science 54 (2001)
4. Clarke, E.M., Grumberg, O.: Model Checking and Abstraction. ACM Transactions on Programming Languages and Systems. ACM Press, New York, 1512–1542 (1992)
5. Clarke, E., Filkorn, T., Jha, S.: Exploiting symmetry in temporal logic model checking. In: Proceedings of 5th International Conference on Computer Aided Verification (1993)