Writeup - Readded lost references
Writeup - Readded specification