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 (dic. 2005), 1–19.