Postscript language Reference manual. (Addison-Wesley, 1985)