Source: https://www.tigli.fr/lib/exe/fetch.php?media=cours:prog_int_res_bat4_sock_2012.pdf