Executable formal semantics for the POSIX shell. - Michael Greenberg 002; Austin J. Blatt (Proc. ACM Program. Lang., 2020)