Elements of Functional Analysis by Francis Hirsch & Gilles Lacombe