1. Lecture Notes in Computer Science;A Avron,2008
2. Avron, A.: A new approach to predicative set theory. In: Schindler, R. (ed.) Ways of Proof Theory, Onto Series in Mathematical Logic, vol. 2, pp. 31–63. Onto Verlag (2010)
3. Avron, A., Cohen, L.: Formalizing scientifically applicable mathematics in a definitional framework. J. Formaliz. Reason. 9(1), 53–70 (2016)
4. Cantone, D., Omodeo, E., Policriti, A.: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets. Springer, Heidelberg (2013). https://doi.org/10.1007/978-1-4757-3452-2
5. Cohen, L., Avron, A.: Applicable mathematics in a minimal computational theory of sets. Log. Methods Comput. Sci. 14 (2018)