PiDuce: A Process Calculus with Native XML Datatypes. - Allen L. Brown Jr.; Cosimo Laneve; L. Gregory Meredith (EPEW/WS-FM, 2005)

Namespace Logic: A Logic for a Reflective Higher-Order Calculus. - L. Gregory Meredith; Matthias Radestock (TGC, 2005)

A Reflective Higher-order Calculus. - L. Gregory Meredith; Matthias Radestock (FInCo@ETAPS, 2005)