АПДЕЙТ: в комментах напомнили, что есть и русский перевод - http://uisrussia.msu.ru/docs/nov/pec/2009/2/ProEtContra_2009_2_06.pdf
Апдейт апдейта: русский перевод с сайта исчез, но доступен по линку https://drive.google.com/file/d/1nx8KJ6QzoL2X4o1ZB0H4WF7BMq5L4cN961fZbwQ9LNv5U6_hKzXaJoB44ALJ