Mertens JF. Chapter 9: A measurable ``measurable choice'' theorem.  2003.