@book{19427,
	author = {Bengkel Malaysiana Spesifikasi Z dan Kaedah Formal Dalam Pembangunan Perisian and Universiti Kebangsaan Malaysia. Kumpulan Sains Pengaturcaraan},
	title = {Bengkel Malaysiana Spesifikasi Z dan Kaedah Formal Dalam Pembangunan Perisian, 8 November 2001di Kelab Rekreasi UKM, Bangi :},
	publisher = {Kumpulan Sains Pengaturcaraan UKM,},
	year = { 2001},
	address = {Bangi, Selangor:}
}