1. Abrial, J., Hoare, A.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (2005)
2. Sethi, R., Aho, A.V., Lam, M.S.: The structure of a compiler. In: Compilers Principles, Techniques & Tools, 2nd edn. Addison Wesley, Boston (1986)
3. Backhouse, R., Gibbons, J.: Generic Programming. Springer, Heidelberg (2003)
4. Bagwell, P.: Ideal Hash Trees. Es Grands Champs, 1195 (2001)
5. Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)