Zarina Shukur. <br/><br/>
Pembangunan sistem bagi menyokong aplikasi perkaedahan formal dalam kejuruteraan perisian  [article] / 
Zarina Shukur, Abdullah Mohd. Zin, Abd. Malik Yusof. 
<br/><br/> PTSL Koleksi Asia Tenggara (Jilid 1 : Pages 104 - 106).