Foundations of abstract analysis - Dshalaow, Jewgeni H (2013)