Introduction to cyclotomic fields - Washington, Lawrence C. (Graduate texts in mathematics ;, 1982)