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)

An Algebraic Approach to Image Schemas for Geographic Space. - Lisa Walton; Michael F. Worboys (COSIT, 2009)

The informatics of indoor and outdoor space: a research agenda. - Nicholas A. Giudice; Lisa Walton; Michael F. Worboys (ISA, 2010)

A Qualitative Bigraph Model for Indoor Space. - Lisa Walton; Michael F. Worboys (GIScience, 2012)