Cezary Kaliszyk, Karol Pak: Isabelle Formalization of Set Theoretic Structures and Set Comprehensions. MACIS 2017: 163-178