Implementation of Z language specification processor for checking the correctness of Z specification - Lee Lik Shen (INTI International University, 2010)