A Transformational Framework for the Automatic Control of Derived Data - Shaye Koenig; Robert Paige (VLDB, 1981)

A Transformational Framework for Automatic Derived Data Control and its Applications in an Entity-Relationship Data Model. - Shaye Koenig (1981)

Finite Differencing of Computable Expressions. - Robert Paige; Shaye Koenig (ACM Trans. Program. Lang. Syst., 1982)

An Integrated Industrial-Strength Software Engineering Framework. - Shaye Koenig (Software Development Environments (SDE), 1988)