Tetsuo Kamina, Tomoyuki Aotani: TinyCORP: A Calculus for Context-Oriented Reactive Programming. COP@ECOOP 2019: 1-8