Sets: Naive axiomatic and applied - Dalen, D Van, et al (1978)