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://revistasunabeduco.biteca.online/index.php/rcc/article/view/1063 (Accedido: 23 agosto 2025).