Source: https://www.luisradford.ca/books_files/abstraction/Livre_abstraction_chap1.pdf