Note that the *'s denote various complicated mathematical equations.
RGMIA digitization. CAVAL 2011. Abstract removed  Lyn 27/9/12.