Almansa, J. F. The Full Abstraction of the UC Framework. BRICS 2004, 11.