TY  - RPRT
TI  - Executable formal semantics for the POSIX shell
AU  - Michael Greenberg
AU  - Austin J. Blatt
PY  - 2019
UR  - https://arxiv.org/abs/1907.05308
ID  - 1907.05308
ER  -