Shimura Varieties - Thomas Haines; Michael Harris (2020)