Introduction to general topology by Mamuzic