Kamide, N. “Temporal Non-Commutative Logic: Expressing Time, Resource, Order and Hierarchy”. Logic and Logical Philosophy, vol. 18, no. 2, Nov. 2009, pp. 97-126, doi:10.12775/LLP.2009.007.