Government Property Agency Annual Report and Accounts 2018-19 (for the year ended 31 March 2019). ([2019-07-23])