MysterX: A Scheme Toolkit for Building Interactive Applications with COM. - Paul A. Steckler (TOOLS (30), 1999)

Validating the Unit Correctness of Spreadsheet Programs. - Tudor Antoniu; Paul A. Steckler; Shriram Krishnamurthi; Erich Neuwirth; Matthias Felleisen (ICSE, 2004)