1. Alexy, R., Rivers, J., Rivers, P.: A Theory of Constitutional Rights. Oxford University Press (2002). https://books.google.it/books?id=4G1U8JMSJDcC
2. Allen, T., Widdison, R.: Can computers make contracts? Harvard J. Law Technol. 9, 25–52 (1996)
3. Chalkidis, I., Androutsopoulos, I., Michos, A.: Extracting contract elements. In: Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, pp. 19–28. ACM (2017)
4. Clack, C.D., Bakshi, V.A., Braine, L.: Smart contract templates: essential requirements and design options (2016). http://arxiv.org/abs/1612.04496
5. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2018)