A Game-Theoretic Model for Distributed Programming by Contract. - Anders Starcke Henriksen; Tom Hvitved; Andrzej Filinski (GI Jahrestagung, 2009)

Compositional data types. - Patrick Bahr; Tom Hvitved (WGP@ICFP, 2011)

Parametric Compositional Data Types - Patrick Bahr; Tom Hvitved (MSFP, 2012)

A trace-based model for multiparty contracts. - Tom Hvitved; Felix Klaedtke; Eugen Zalinescu (J. Log. Algebraic Methods Program., 2012)

Domain-Specific Languages for Enterprise Systems. - Jesper Andersen; Patrick Bahr; Fritz Henglein; Tom Hvitved (ISoLA (1), 2014)