Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler: Nondeterministic Modal Interfaces. SOFSEM 2015: 152-163