1. Arvind: Bluespec: A language for hardware design, simulation, synthesis and verification. In: MEMOCODE, pp. 249–249 (2003) (invited Talk)
2. Bhattacharya, R.: http://www.cs.utah.edu/~ritwik/carryover.html
3. Bhattacharya, R., German, S., Gopalakrishnan, G.: A symbolic partial order reduction algorithm for rule based transition systems. Technical Report UUCS-03-028, School of Computing, University of Utah (2003)
4. Chen, X.: personal communication
5. Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT Press, Cambridge (1999)