Small fixes to the guarantees list
Added some references and wrote a bit on related work.