@misc{indiciae6ad4967a3822,
  title = {Reasoning about call-by-value: a missing result in the history of Hoare's logic},
  author = {Krzysztof R. Apt and Frank S. de Boer},
  year = {2019},
  url = {https://arxiv.org/abs/1909.06215},
  note = {Source identifier: 1909.06215}
}