Note that the * denotes a complicated mathematical equation. 
RGMIA digitization. CAVAL 2011. Abstract removed  Lyn 27/9/12.