changed UTF-8 Omega to LaTeX Omega
changed natbib to cite (bibtex), changed title (proposal) and added ISA as keyword
moved code sequence from scheme to method
tweaked and fixed listing style