A. Kumar Singh, U. Ghanekar, y A. K. Bandyopadhyay, «Specifying mobile network using a wp-like formal approach», Rev. colomb. comput., vol. 6, n.º 2, pp. 1–19, dic. 2005.