PLEASE: Predictable Logic based ExecutAble SpeCifications. - Robert B. Terwilliger; Roy H. Campbell (ACM Conference on Computer Science, 1986)

ENCOMPASS (abstract): a SAGA based environment for the composition of programs and specifications. - Robert B. Terwilliger; Roy H. Campbell (ACM Conference on Computer Science, 1986)

The SAGA Approach to Automated Project Management. - Roy H. Campbell; Robert B. Terwilliger (Advanced Programming Environments, 1986)

ENCOMPASS: An Environment for Incremental Software Development Using Executable, Logic-Based Specifications - Robert B. Terwilliger (1987)

Automating the software development process. - Roy H. Campbell; Hal S. Render; Robert N. Sum Jr.; Robert B. Terwilliger (ACM Conference on Computer Science, 1988)

Implementing a LogiC-Based Executable Specification Language in C++. - Peter A. Kirslis; Robert B. Terwilliger (C++ Conference, 1988)

An Early Report on Encompass. - Robert B. Terwilliger; Roy H. Campbell (ICSE, 1988)

Please: a language combining imperative and logic programming. - Robert B. Terwilliger (ACM SIGPLAN Notices, 1988)

An example of formal specification as an aid to design and development. - Robert B. Terwilliger; Mark J. Maybee; Leon J. Osterweil (IWSSD, 1989)

ENCOMPASS: An environment for the incremental development of software. - Robert B. Terwilliger; Roy H. Campbell (J. Syst. Softw., 1989)

PLEASE: Executable specifications for incremental software development. - Robert B. Terwilliger; Roy H. Campbell (J. Syst. Softw., 1989)

An overview and bibliography of ENCOMPASS: an environment for incremental software development using executable, logic-based specification. - Robert B. Terwilliger (ACM SIGSOFT Softw. Eng. Notes, 1990)

Simulating the Gries/Dijkstra design process. - Robert B. Terwilliger (KBSE, 1992)

Toward tools to support the Gries/Dijkstra design process. - Robert B. Terwilliger (ACM SIGSOFT Softw. Eng. Notes, 1993)

An Example of Process Verification: The Gries/Dijkstra Design Method. - Robert B. Terwilliger (ACM SIGSOFT Softw. Eng. Notes, 1993)

A model of optimal exploration and decision making in novel interfaces. - Bob Rehder; Clayton H. Lewis; Robert B. Terwilliger; Peter G. Polson; John Rieman (CHI 95 Conference Companion, 1995)

Task Elaboration or Label Following: An Empirical Study of Representation in Human-Computer Interaction. - Robert B. Terwilliger; Peter G. Polson (CHI Conference Companion, 1996)

Relationships Between Users' and Interfaces' Task Representations. - Robert B. Terwilliger; Peter G. Polson (CHI, 1997)