Kamide, Norihiro. 2009. “Temporal Non-Commutative Logic: Expressing Time, Resource, Order and Hierarchy”. Logic and Logical Philosophy 18 (2):97-126. https://doi.org/10.12775/LLP.2009.007.