Part of the ConU technical report "2008-1-Ait Mohamed" found at http://users.encs.concordia.ca/~tphols08/TPHOLs2008/ET/EmergingTrends08.pdf