DINO, M. Synthesizing Interrupts and Scheme with Optime. Journal of Computer Science and Software Engineering, v. 10, n. 3, 15 out. 2018.