Area-preserving twist maps, Critical invariant circles, Self-similarity, Renormalization, Regularity of conjugacies, Singular measures