Integration in algebraically closed valued fields - Yimu Yin (2008)