Pavel Moravec: Approximations of state spaces reduced by partial order reduction. SOFSEM (2) 2008: 78-90