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