https://123dok.org/document/zlgj40xl-corso-di-programmazione-concorrente-algoritmi-non-blocking.html