Source: https://www.irif.fr/~jch/enseignement/programmation-systeme.pdf