Βαφειάδου Γαρυφαλλιά, Formalizing Constructive Analysis: A comparison of minimal systems and a study of uniqueness principles., 2012,