@misc{indiciaeaee7db2bf91c,
  title = {Theorem proving support in programming language semantics},
  author = {Yves Bertot},
  year = {2007},
  url = {https://arxiv.org/abs/0707.0926},
  note = {Source identifier: 0707.0926}
}