1. Arora, S., Rabani, Y., Vazirani, U.: Simulating quadratic dynamical systems is PSPACE-complete. In: Proc. 26th. Annual ACM Symposium on the Theory of Computing (STOC), Montreal, Canada, pp. 459–467 (May 1994)
2. Barrett, C., Bush, B., Kopp, S., Mortveit, H., Reidys, C.: Sequential Dynamical Systems and Applications to Simulations, Technical Report. Los Alamos National Laboratory (September 1999)
3. Barrett, C., Marathe, M., Mortveit, H., Reidys, C., Smith, J., Ravi, S.S.: Adhop- NET: Advanced Simulation-based Analysis of Ad-Hoc Networks. Los Alamos Unclassified Internal Report (2000)
4. Barrett, C., Hunt III, H.B., Marathe, M.V., Ravi, S.S., Rosenkrantz, D.J., Stearns, R.E.: Dichotomy Results for Sequential Dynamical Systems. Los Alamos National Laboratory Report, LA-UR-00-5984 (2000)
5. Barrett, C., Hunt III, H.B., Marathe, M.V., Ravi, S.S., Rosenkrantz, D.J., Stearns, R.E.: Predecessor and Permutation Existence Problems for Sequential Dynamical Systems. Los Alamos National Laboratory Report, LA-UR-01-668 (2001)