S. Leue, and P. Ladkin. The Spin Verification System, volume 32 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 65-89. DIMACS/AMS, (1996)
P. Ladkin, and B. Simons. Responsive Computer Systems, volume 297 of The Kluwer/Springer International Series in Engineering and Computer Science, Kluwer / Springer US, (1995)