Information technology-portable operating system interface (POSIX) shell and utilities (IEEE, 1993)