Added references to bibtex
Merge branch 'master' of https://github.com/blexim/synth
Ranking function synthesis bibtex
Lots of typos & stylistic changes