- ITC, page 669-677. IEEE Computer Society, (1992)
- SIGCSE Bulletin 43(4):2 (2011)
- ACM Comput. Surv. 28(4es):92 (1996)
- J. Autom. Reasoning 13(3):283-296 (1994)
- J. Autom. Reasoning 19(1):117-141 (1997)
- SIGCSE Bull. (January 2003)
- Family Business Review 15(4):337--350 (2002)
- SIGCSE, page 235. ACM, (2004)
- SIGCSE, page 284-285. ACM, (2004)
- SIGCSE, page 1-5. ACM, (2003)
- ACM Crossroads 16(1):17-20 (2009)
- SIGCSE Bull. 35(1):1--5 (2003)
- SIGCSE Bull. 35(1):1--5 (2003)
- SIGCSE Bull. 35(1):1--5 (2003)
- SIGCSE '03: Proceedings of the 34th SIGCSE technical symposium on Computer science education, page 1--5. New York, NY, USA, ACM, (2003)
- SIGCSE, page 329-330. ACM, (2010)
- SIGCSE Bulletin 29(4):62-65 (1997)
- ITiCSE, page 132-135. ACM, (2000)
- ITiCSE, page 21-24. ACM, (1998)
- SIGCSE Bulletin 41(2):80-81 (2009)


author