Kamide, N. (2009) “Temporal non-commutative logic: Expressing time, resource, order and hierarchy”, Logic and Logical Philosophy, 18(2), pp. 97–126. doi: 10.12775/LLP.2009.007.