Kumar Singh, A., U. Ghanekar, y A. K. Bandyopadhyay. «Specifying Mobile Network Using a Wp-Like Formal Approach». Revista Colombiana De Computación, vol. 6, n.º 2, diciembre de 2005, pp. 1-19, https://revistas.unab.edu.co/index.php/rcc/article/view/1063.