Software design for reliability and reuse: a proof-of-concept demonstration. - Jeffrey M. Bell; Françoise Bellegarde; James Hook; Richard B. Kieburtz; Alex Kotov; Jeffrey Lewis; Laura McKinney; Dino Oliva; Tim Sheard; L. Tong; Lisa Walton; Tong Zhou (TRI-Ada, 1994)

Calculating Software Generators from Solution Specifications. - Richard B. Kieburtz; Françoise Bellegarde; Jeffrey M. Bell; James Hook; Jeffrey Lewis; Dino Oliva; Tim Sheard; Lisa Walton; Tong Zhou (TAPSOFT, 1995)

A Software Engineering Experiment in Software Component Generation. - Richard B. Kieburtz; Laura McKinney; Jeffrey M. Bell; James Hook; Alex Kotov; Jeffrey Lewis; Dino Oliva; Tim Sheard; Ira Smith; Lisa Walton (ICSE, 1996)

Type-Driven Defunctionalization. - Jeffrey M. Bell; Françoise Bellegarde; James Hook (ICFP, 1997)