Source: http://www.luisradford.ca/books_files/abstraction/Livre_abstraction_chap3.pdf