“…The literature presents requirements to program and understand interactive systems (Suchman, 1987;Myers, 1994;Ko and Myers, 2004;Victor, 2012;Schmidt and Bansler, 2016;Hornbaek and Oulasvirta, 2017;Basman et al, 2018), studies the specific challenges encountered by programmers (Hill, 1986;Myers, 1991;Myers et al, 1994;Myers, 1994;Myers et al, 2000;Casiez and Roussel, 2011;Bainomugisha et al, 2013;Salvaneschi et al, 2015) and introduces diverse models to help programmers reason about their programs (Dearden and Harrison, 1997;Campos and Harrison, 1997;Navarre et al, 2006Navarre et al, , 2009Canny et al, 2019). However, some HCI researchers note that the appropriate level of abstraction to account for interactive systems is still missing:…”