RGMIA digitization. CAVAL 2011 Multiple mathematical equations indicated with *** in abstract. Abstract removed Lyn 21/9/12. PDF not visible. Author contacted and permission denied. Rights held by American Mathematical Society. Lyn 21/9/12