Nathan Brooks, Ewart de Visser, Timur Chabuk, Elan Freedy, Paul Scerri: An approach to team programming with markup for operator interaction. AAMAS 2013: 1133-1134