Note that the letter d in Rd should be superscript. RGMIA digitization. CAVAL 2011. Abstract removed Lyn 26/9/12.