Kumar Singh, Awadhesh, et al. «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://revistasunabeduco.biteca.online/index.php/rcc/article/view/1063.