Provides an in-depth, self-contained introduction of partially coherent imaging theory for researchers and engineers working on optical lithography for semiconductor manufacturing, including those in the EDA industry. It is mathematically complete: the opening chapters discuss the essential principles, and all derivations are presented with their intermediate steps.