The stage one Turing test as an artificial intelligence class exercise. - Nancy L. Tinkham; Darren F. Provine (ACM SIGCSE Bull., 1994)

DeSymbol: an interpretive tool for symbolic logic. - Darren F. Provine; Nancy L. Tinkham (J. Comput. Sci. Coll., 2008)