V. Brattka, “Effective representations of the space of linear bounded operators”, Appl. Gen. Topol., vol. 4, no. 1, pp. 115–131, Apr. 2003.