An introduction to partially ordered structures and sheaves - Miraglia, Francisco (Contemporary logic / editor Walter Carnielli, 2006)