J. G. Henriksen, “An Expressive Extension of TLC”, BRICS, vol. 6, no. 26, Jan. 1999.