Santiago RHN, Bedregal B{\'?}nRC, Madeira A, Martins MA.? 2016.??On Interval Dynamic Logic. Formal Methods: Foundations and Applications - 19th Brazilian Symposium, {SBMF} 2016, Natal, Brazil, November 23-25, 2016, Proceedings. :129?144.