Global abstraction-safe marshalling with hash types. - James J. Leifer; Gilles Peskine; Peter Sewell; Keith Wansbrough (ICFP, 2003)

Ott: Effective tool support for the working semanticist. - Peter Sewell; Francesco Zappa Nardelli; Scott Owens; Gilles Peskine; Thomas Ridge; Susmit Sarkar; Rok Strnisa (J. Funct. Program., 2010)