J. Bak, W. Verplank, and D. Gauthier. Proceedings of the Ninth International Conference on Tangible, Embedded, and Embodied Interaction (TEI '15), page 367--374. New York, NY, USA, ACM, (2015)
F. Pottier, and N. Gauthier. POPL '04: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on
Principles of programming languages, page 89--98. New York, NY, USA, ACM, (2004)