R. Nigel Horspool Jan Vitek Static analysis of PostScript code. 14-23 1992 conf/iccl/1992 ICCL http://dx.doi.org/10.1109/ICCL.1992.185464 db/conf/iccl/iccl1992.html#HorspoolV92