Bosnacki, Dragan and Leue, Stefan and Lluch-Lafuente, Alberto  Partial-Order Reduction for General State Exploring Algorithms.   In:  Model Checking Software (SPIN 2006).   Lecture Notes in Computer Science, 3925 .  Springer, pp. 271-287.  ISBN 3-540-33102-6      (2006)