Adding items to the bibliography

And referencing results from the previous exposé where appropriate.
Finished the sketch of the proof for RPerf