@inproceedings{martin2017bootstrapping,
title={Bootstrapping the next generation of mathematical social machines},
author={Ursula Martin and Alison Pease and Joseph Corneli},
booktitle={Off the Beaten Track 2017 (POPL workshop, UPMC Paris, Saturday January 21, 2017)},
editor={Kuper, Lindsey and Atkey, Bob},
year={2017},
url={http://popl17.sigplan.org/event/obt-2017-talk-5}}