On the Syntax and Semantics of Concurrent Computing. - Maria Zamfir; David L. Martin 001 (Mathematical Foundations of Programming Semantics, 1985)

Initial Algebra Semantics and Concurrency. - Maria Zamfir (MFPS, 1987)