T. Albouy, D. Frey, M. Raynal, und F. Taïani. OPODIS, Volume 253 von LIPIcs, Seite 26:1-26:23. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)
M. Hurfin, N. Plouzeau, und M. Raynal. Specification of Parallel Algorithms, Volume 18 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 115-124. DIMACS/AMS, (1994)