R. K. Lindsay, “Artificial Intelligence Research at the University of Michigan”, AIMag, vol. 6, no. 2, p. 64, Jun. 1985.