Note that the article does not contain an abstract.
RGMIA digitization. CAVAL 2011