1 Papers by Queinnec on Lisp macros' semantics:
3 * [modules, macros and lisp](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/chili.ps.gz)
4 * [mdules, macros and evaluation](http://pagesperso-systeme.lip6.fr/Christian.Queinnec/Papers/modmac2.ps.gz)
6 Shell script specific works:
8 * [Finding Bugs in Bash Scripts](http://www.cis.upenn.edu/~stevez/papers/MZ07.pdf)
10 Misc stuff on static analysis which *might* be interesting:
12 * [Static Analysis of Mega-Programs](http://www.springerlink.com/content/tbylt4jtqql3wne6/)