Stav dette: Fundamentals of abstract analysis.