Díaz, et al.. : A Distributed Real-time Logic Language. no. 2-4, Elsevier BV, 1997, doi:10.1016/s0096-0551(97)00011-8.