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