Partial-Order methods for the verification of concurrent systems An approach to the state-explosion problem - Godefroid, Patrice (Springer-Verlag, 1996)
bibliography:pp.133-142