1. Advanced Micro Devices Corporation, Inc.: AMD64 Architecture Programmer’s Manual. (May 2018) https://developer.amd.com/resources/developer-guides-manuals/
2. De Bruijn, J.G.: Additional comments on a problem in concurrent programming control. Commun. ACM 10 (1967), 137–138. https://doi.org/10.1145/363162.363167
3. Dijkstra, E. W.: Cooperating Sequential Processes. Technical Report EWD-123, Technological University Eindhoven (1965) https://www.cs.utexas.edu/users/EWD/ewd01xx/EWD123.PDF
4. Dijkstra, E. W.: Hierarchical Ordering of sequential processes. Acta Informatica 1 (1971) 115–138 https://www.cs.utexas.edu/users/EWD/ewd03xx/EWD310.PDF
5. Dijkstra, E. W.: An Assertional Proof of a Program by G. L. Peterson. (1981) https://www.cs.utexas.edu/users/EWD/ewd07xx/EWD779.PDF