Government Property Agency Annual Report and Accounts 2019-20 (for the year ended 31 March 2020). ([2020-07-16])