On Deriving Distributed Programs from Formal Specifications of Functional Requirements and Architectural Constraints. - Gruia-Catalin Roman; C. Donald Wilcox; Jerome Y. Plun (ICDCS, 1992)

Pavane: a system for declarative visualization of concurrent computations. - Gruia-Catalin Roman; Kenneth C. Cox; C. Donald Wilcox; Jerome Y. Plun (J. Vis. Lang. Comput., 1992)

Dynamic Synchrony Among Atomic Actions. - Gruia-Catalin Roman; Jerome Y. Plun; C. Donald Wilcox (IEEE Trans. Parallel Distributed Syst., 1993)

Architecture-Directed Refinement. - Gruia-Catalin Roman; C. Donald Wilcox (IEEE Trans. Software Eng., 1994)

Reasoning About Places, Times, and Actions in the Presence of Mobility. - C. Donald Wilcox; Gruia-Catalin Roman (IEEE Trans. Software Eng., 1996)