Combined SOA Maturity Model (CSOAMM): Towards a Guide for SOA Adoption. - Eva Söderström; Fabian Meier (IESA, 2007)

Foundational (Co)datatypes and (Co)recursion for Higher-Order Logic. - Julian Biendarra; Jasmin Christian Blanchette; Aymeric Bouzy; Martin Desharnais; Mathias Fleury; Johannes Hölzl; Ondrej Kuncar; Andreas Lochbihler; Fabian Meier; Lorenz Panny; Andrei Popescu 001; Christian Sternagel; et al. (FroCoS, 2017)

Foundational nonuniform (Co)datatypes for higher-order logic. - Jasmin Christian Blanchette; Fabian Meier; Andrei Popescu 001; Dmitriy Traytel (LICS, 2017)