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