Kumar Singh, A., Ghanekar, U., & Bandyopadhyay, A. K. (2005). Specifying mobile network using a wp-like formal approach. Revista Colombiana De Computación, 6(2), 1–19. Recuperado a partir de https://revistas.unab.edu.co/index.php/rcc/article/view/1063