Source: https://www3.cs.stonybrook.edu/~pfodor/courses/summer2/CSE114/L13-Abstract.pdf