Gaya APA

Basuki, D, K. (2003). Spesifikasi dan verifikasi use case diagram menjadi class diagram dengan metode formal z (2003). Surabaya: Universitas Widya Kartika.

Gaya MLA

Basuki, Dwi, Kurnia. "Spesifikasi dan verifikasi use case diagram menjadi class diagram dengan metode formal z". 2003 Surabaya: Universitas Widya Kartika, 2003. Text.