Add Gabriel's thesis ref in the SC complexity part.