Added formalities to prototypes.tex and added sources to sources.bib