@misc{indiciae97db258abeb5,
  title = {Executable formal semantics for the POSIX shell},
  author = {Michael Greenberg and Austin J. Blatt},
  year = {2019},
  url = {https://arxiv.org/abs/1907.05308},
  note = {Source identifier: 1907.05308}
}