An introduction to partially ordered structures and sheaves - Miraglia, Francisco (Polimetrica, 2006)