Enforcing Constraints Between Documentary Comments and Source Code. - C. Dylan Shearer; Michael L. Collard (ICPC, 2007)