Galaxy Formation (Astronomy and Astrophysics Library)