Navarro Perez, J. A., & Rybalchenko, A. (2009). Operational semantics for declarative networking. In A., Gill, & T., Swift (Eds.), Practical Aspects of Declarative Languages (pp. 76-90). Berlin: Springer.