Gaya APA

CASEY,CHRIS, . (1994). A PROGAMMING APPROACH TO FORMAL METHODS . : .

Gaya MLA

CASEY,CHRIS, . "A PROGAMMING APPROACH TO FORMAL METHODS". : , 1994. Buku.