Henriksen, J. G. An Expressive Extension of TLC. BRICS 1999, 6.