Asymptotic models and transport properties of densely packed, high-contrast fibre composites. Part I: Square lattice of circular inclusions. (1st November 2017)