Systems of logic and the construction of order (Lang, 2011)