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 abril 25, 2024. https://revistas.unab.edu.co/index.php/rcc/article/view/1063.