Category Theory for the Configuration of Complex Systems. - Gillian Hill (AMAST, 1993)

The Configuration of Complex Systems. - Gillian Hill (CAST, 1994)

Constructing Specifications and Modules in a KZ-doctrine. - Gillian Hill (Theory and Formal Methods, 1994)

A Logical Approach to System Construction. - Gillian Hill (EUROCAST, 1995)

An Architecture for Complex Systems. - Gillian Hill (EUROCAST, 1997)

Presheaves as Configured Specifications. - Steven Vickers; Gillian Hill (Formal Aspects Comput., 2001)

A language for configuring systems. - Gillian Ann Hill (2001)

A language for configuring multi-level specifications. - Gillian Hill; Steven Vickers (Theor. Comput. Sci., 2006)