1. Abrial, Jean-Raymond (2005). The B-Book: Assigning programs to meanings, Cambridge University Press.
2. Alchourrn, Carlos E., Gärdenfors, P. Makinson, David (1985). On the logic of theory change: Partial Meet Contraction and Revision Functions, Journal of Symbolic Logic, vol. 50, pp. 510-530.
3. Alchourrn, Carlos E., Makinson, David (1985). On the logic of theory change: Safe contraction, Studia Logica, vol. 44, n.4, pp. 405-422.
4. Alchourrn, Carlos E., Makinson, David (1986). Maps between some different kinds of contraction function: The finite case, Studia Logica, vol. 45, n.2, pp. 187-198.
5. Barn, B., Barn, R., Primiero, G. (forthcoming). Value-sensitive Co-Design for resilient Information Systems. Proceedings of IACAP2014, Conference of the International Association of Computing and Philosophy, Synthese Library Series, Springer.