Formal Semantics for Models with Meta-Predicates.

Published in: Joint Workshop of the German Research Training Groups in Computer Science (2014)