Gaya APA

SHEPPARD,DERI, . (1995). AN INTRODUCTION TO FORMAL SPECIFICATION WITH Z AND VDM . : .

Gaya MLA

SHEPPARD,DERI, . "AN INTRODUCTION TO FORMAL SPECIFICATION WITH Z AND VDM". : , 1995. Buku.