R. Buckland, M. Johnson, und D. Verity. Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR, Volume 68 von Electronic Notes in Theoretical Computer Science, Seite 1-11. Elsevier, (2002)
I. Seres, D. Nagy, C. Buckland, und P. Burcsi. Tokenomics, Volume 71 von OASIcs, Seite 13:1-13:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)