Documentation paper in English