Collins, G., & Dennis, L. A. (2000). System Description: Embedding Verification into Microsoft Excel. In D. McAllester (Ed.),