1. Abrial, J.R.: The B-Book. Cambridge University Press, Cambridge (1996)
2. Anlauff, M., Pavlovic, D., Smith, D.: Composition and refinement of evolving specifications. In: Proceedings of Workshop (2002)
3. Baader, F., Calvanese, D., McGuinness, D.L., Nardi, D.: The Description Logic Handbook. Cambridge University Press, Cambridge (2010)
4. Barendregt, H.: Handbook of Logic in Computer Science, vol. 2. Oxford University Press, Oxford (1992)
5. Bell, J.: From absolute to local mathematics. In: Synthese. Springer, New York (1986)