Almansa, J. F. “The Full Abstraction of the UC Framework”. BRICS Report Series, vol. 11, no. 15, Aug. 2004, doi:10.7146/brics.v11i15.21840.