Kumar Singh, A., Ghanekar, U. y Bandyopadhyay, A. K. (2005) «Specifying mobile network using a wp-like formal approach», Revista Colombiana de Computación, 6(2), pp. 1–19. Disponible en: https://revistas.unab.edu.co/index.php/rcc/article/view/1063 (Accedido: 28 marzo 2024).