Specifying reusable components using Z: realistic sets and dictionaries. - Ralph L. London; Kathleen Milsted (IWSSD, 1989)

The Genericity Theorem and the Notion of Parametricity in the Polymorphic lambda-calculus (Extended Abstract) - Giuseppe Longo; Kathleen Milsted; Sergei Soloviev 001 (LICS, 1993)

The Genericity Theorem and Parametricity in the Polymorphic lambda-Calculus. - Giuseppe Longo; Kathleen Milsted; Sergei Soloviev 001 (Theor. Comput. Sci., 1993)

OMT Object Models of Telecommunications Services. - Kathleen Milsted (IS&N, 1995)

A Logic of Subtyping (Extended Abstract) - Giuseppe Longo; Kathleen Milsted; Sergei Soloviev 001 (LICS, 1995)

TINA-oriented Service Engineering Support to Service Composition and Federation. - Sofoklis Efremidis; Didoe Prevedourou; L. Demounem; Kathleen Milsted; Han Zuidweg (IS&N, 1998)

Coherence and transitivity of subtyping as entailment. - Giuseppe Longo; Kathleen Milsted; Sergei Soloviev 001 (J. Log. Comput., 2000)