Formalizing Theatrical Performances Using Multi-Agent Organizations. - Andreas Schmidt Jensen; Johannes Svante Spurkeland; Jørgen Villadsen (SCAI, 2013)