N. A. Ikhu-Omoregbe, “Formal modelling and design of mobile prescription applications”, Health Informatics Journal, vol. 2, no. 2, Dec. 2008.