On the time required for retention. - Daniel M. Berry; Laurian M. Chirica; John B. Johnston; David F. Martin; Arthur Sorkin (HLLCA, 1973)

Two PARALLEL EULER run time models: The dangling reference, impostor environment, and label problems. - Laurian M. Chirica; David F. Martin; Timothy A. Dreisbach; J. G. Peetz; Arthur Sorkin (HLLCA, 1973)

An approach to compiler correctness. - Laurian M. Chirica; David F. Martin (Reliable Software, 1975)

An Algebraic Formulation of Knuthian Semantics - Laurian M. Chirica; David F. Martin (FOCS, 1976)

Time required for reference count management in retention block-structured languages. Part 1. - Daniel M. Berry; Laurian M. Chirica; John B. Johnston; David F. Martin; Arthur Sorkin (Int. J. Parallel Program., 1978)

On the time required for reference count management in retention block-structured languages. Part 2. - Daniel M. Berry; Laurian M. Chirica; John B. Johnston; David F. Martin; Arthur Sorkin (Int. J. Parallel Program., 1978)

An Order-Algebraic Definition of Knuthian Semantics. - Laurian M. Chirica; David F. Martin (Math. Syst. Theory, 1979)

Functional Entity Relationship Model and Update Operations. - Masahiro Matsuo; Laurian M. Chirica (FODO, 1985)

Toward Compiler Implementation Correctness Proofs. - Laurian M. Chirica; David F. Martin (ACM Trans. Program. Lang. Syst., 1986)