@misc{indiciae703a051425b1,
  title = {Automation of Mathematical Induction as part of the History of Logic},
  author = {J Strother Moore and Claus-Peter Wirth},
  year = {2014},
  url = {https://arxiv.org/abs/1309.6226},
  note = {Source identifier: 1309.6226}
}