Kumar Singh, A.; Ghanekar, U.; Bandyopadhyay, A. K. Specifying Mobile Network Using a Wp-Like Formal Approach. Rev. colomb. comput. 2005, 6, 1-19.