Reading list: Introduction to FA