J. G. Henriksen, “An Expressive Extension of TLC”, BRICS, bd. 6, nr. 26, jan. 1999.