Pengesahsahihan model rangkaian "dimensioning" gigabit ethernet menggunakan pendekatan formal - Bahari Idrus (2006)
PTSL Koleksi Asia Tenggara (Jilid 1 : 55 - 60)