Automated Analysis of Requirement Specifications. - William M. Wilson; Linda H. Rosenberg; Lawrence E. Hyatt (ICSE, 1997)

The Impact of a Mathematical Intelligent Tutoring System on Students' Performance on Standardized High-Stake Tests. - Jeremiah Sullins; Rob Meister; Scotty D. Craig; William M. Wilson; Anna E. Bargagliotti; Xiangen Hu (Knowledge Spaces, Applications in Education, 2013)