M. Gruninger and J. B. Kopena, “Semantic Integration through Invariants”, AIMag, vol. 26, no. 1, p. 11, Mar. 2005.