https://rolymydyvirake.bowvalleychorus.com/some-relationships-between-various-models-of-parallelism-and-synchronization-book-4443ap.php