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