Source: http://www-sop.inria.fr/members/Nicolas.Nisse/lectures/prepa/3_complexity.pdf