Toroidalization of locally toroidal morphisms of 3-folds

A toroidalization of a dominant morphism φ:X→Y of algebraic varieties over a field of characteristic zero is a toroidal lifting of φ obtained by performing sequences of blow ups of nonsingular subvarieties above X and Y. We give a proof of toroidalization of locally toroidal morphisms of 3-folds.