Massalin, Henry. “Superoptimizer – A Look at the Smallest Program”. Proc. ACM ASPLOS’87, Sigplan Notices 22, 10 (Oct 1987), 122–126.
Torbjorn Granlund and Richard Kenner, “Eliminating Branches using a Superoptimizer and the GNU C Compiler”, PLDI ‘92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation ACM New York, NY, USA 1992.
Aho, Lam, Sethi and Ullman, “Compilers – Principles, Techniques and Tools” 2nd Edition, Pearson Education.
Bennett, J.P. “Introduction to Compiling Techniques”, Tata McGraw Hill.