Reasoning about the Elementary Functions of Complex Analysis. - Robert M. Corless; James H. Davenport; David J. Jeffrey; Gurjeet Litt; Stephen M. Watt (AISC, 2000)