Note that the superscript character '∞' in the abstract has not been copied correctly.
RGMIA digitization. CAVAL 2011.  Abstract removed  Lyn 26/9/12.