TY  - RPRT
TI  - Formaleuros, Formalbitcoins, and Virtual Monies
AU  - Jan A. Bergstra
PY  - 2013
UR  - https://arxiv.org/abs/1008.0616
ID  - 1008.0616
ER  -