Karnadi, Astidi (2006) Pemetaan komponen Firewell dengan diagram UML 2.0 dan spesifikasi OCL 2.0. Bachelor thesis, Universitas Pelita Harapan.