Bash2py: A bash to Python translator. - Ian J. Davis; Mike Wexler; Cheng Zhang; Richard C. Holt; Theresa Weber (SANER, 2015)