@inproceedings{martin2017bootstrapping,
  title = "Bootstrapping the next generation of mathematical social machines",
  author = "Martin, Ursula and Pease, Alison and Corneli, Joseph",
  year = "2017",
  booktitle = "Off the Beaten Track Workshop at POPL, UPMC Paris",
  volume = "21",
}