Ikhu-Omoregbe, N. A. Formal Modelling and Design of Mobile Prescription Applications. Health Informatics Journal 2008, 2.