A Rahman, Mat and Cheah, Wai Shiang and Liu, Shaoying (2013) SOFL Three-Step Approach to Construct the Formal Specification of a Brain Tumor Treatment System. Universiti Malaysia Sarawak.