Robert A. Barta Towards a Formal TMQL Semantics. 90-106 2006 conf/tmra/2006 TMRA http://dx.doi.org/10.1007/978-3-540-71945-8_10 db/conf/tmra/tmra2006.html#Barta06