J. F. Almansa, “The Full Abstraction of the UC Framework”, BRICS, vol. 11, no. 15, Aug. 2004.