Interface semantics by U. Bud