Kumar Singh, A. et al. 2005. Specifying mobile network using a wp-like formal approach. Revista Colombiana de Computación. 6, 2 (dic. 2005), 1–19.