RGMIA digitization. CAVAL 2011 Mathematical equation in title. Do not release to VUIR until formula in title can be expressed correctly Lyn 19/7/12. Permission granted, in perpetuity, RGMIA version. MA 5/9/12. Title corrected and moved to live archive 7/8/2020