Kumar Singh, Awadhesh, Umesh Ghanekar, y Anup Kumar Bandyopadhyay. 2005. «Specifying Mobile Network Using a Wp-Like Formal Approach». Revista Colombiana De Computación 6 (2):1-19. https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1063.