Executing Quantifiers in FASE Specifications - Stanley Jefferson (1988)

A Syntactic Theory of Transparent Parameterization. - Stanley Jefferson; Shinn-Der Lee; Daniel P. Friedman (ESOP, 1990)

A parametric design assistant for concurrent engineering. - Daniel Kuokka; Stanley Jefferson; Lee Barford; Felix Frayman (Artif. Intell. Eng. Des. Anal. Manuf., 1995)

A Simple Reflective Interpreter. - Stanley Jefferson; Daniel P. Friedman (LISP Symb. Comput., 1996)

Motivating hierarchical run-time models in measurement and control systems. - Jie Liu 001; Stanley Jefferson; Edward A. Lee (ACC, 2001)