D. Volpano, X. Sun, and G. Xie. Proceedings of the Third Workshop on Hot Topics in Software Defined
Networking, page 67--72. New York, NY, USA, ACM, (2014)
A. M��le, and H. Vogler. Proceedings of the Fuji International Workshop in Functional and
Logic Programming, World Scientific Publishing Co. Pte Ltd., (1995)