Interactions. - María Victoria Cengarle; Alexander Knapp; Heribert Mühlberger (UML 2 Semantics and Applications, 2009)

Interpreting Knowledge-based Programs. - Alexander Knapp; Heribert Mühlberger; Bernhard Reus (ESOP, 2023)

Interpreting Knowledge-based Programs (Extended Version with Proofs). - Alexander Knapp; Heribert Mühlberger; Bernhard Reus (CoRR, 2023)