Note that there is no abstract in the article.
RGMIA digitization. CAVAL 2011