Temporal Structures. - Ross Casley; Roger F. Crew; José Meseguer 001; Vaughan R. Pratt (Math. Struct. Comput. Sci., 1991)

Metric process models. - Roger F. Crew (1991)

Programmable Syntax Macros. - Daniel Weise; Roger F. Crew (PLDI, 1993)

Value Dependence Graphs: Representation without Taxation. - Daniel Weise; Roger F. Crew; Michael D. Ernst; Bjarne Steensgaard (POPL, 1994)

ASTLOG: A Language for Examining Abstract Syntax Trees. - Roger F. Crew (DSL, 1997)