1. Aho, A., Sethi, R., Ullman, J.: Compilers—Principles, Techniques and Tools. Addison-Wesley, Reading (1986)
2. Bosnacki, D., Dams, D., Holenderski, L.: Symmetric spin. Int. J. Softw. Tools Technol. Transf. 4(1), 65–80 (2002)
3. Cameron, P.: Permutation groups. London Mathematical Society Student Texts, vol. 45. Cambridge University Press, Cambridge (1999)
4. Cardelli, L.: Type systems. In: Tucker, A. (ed.) The Computer Science and Engineering Handbook, New York, USA, pp. 2208–2236. CRC, Boca Raton (1997)
5. Clarke, E., Emerson, E.: Synthesis of synchronization skeletons for branching time temporal logic. In: Proceedings of the Workshop in Logic of Programs. Lecture Notes in Computer Science, Yorktown Heights, N.Y., vol. 131. Springer, New York (1981)