Kumar Singh, Awadhesh, Umesh Ghanekar, y Anup Kumar Bandyopadhyay. «Specifying Mobile Network Using a Wp-Like Formal Approach». Revista Colombiana de Computación 6, no. 2 (diciembre 1, 2005): 1–19. Accedido agosto 4, 2026. https://revistas.unab.edu.co/rcc/article/view/1063.