@article{corneli2017modelling,
  title = "Modelling the Way Mathematics Is Actually Done",
  author = "Corneli, Joseph and Martin, Ursula and Murray-Rust, Dave and Pease, Alison and Puzio, Raymond and Nesin, Gabriela Rino",
  year = "2017",
}