Introduction to Arakelov Theory by Serge Lang