Pembangunan sistem bagi menyokong aplikasi perkaedahan formal dalam kejuruteraan perisian - Zarina Shukur; Abdullah Mohd. Zin.; Abd. Malik Yusof (2002)
PTSL Koleksi Asia Tenggara (Jilid 1 : Pages 104 - 106).