Author: Donald L. Stancl
Title: real analysis with point-set topology