Gaya APA

Poernomo, I. et al (2005). Adapting Proofs-as-Programs (1st ed.). : .

Gaya MLA

Poernomo, Iman.. et al. "Adapting Proofs-as-Programs". 1st ed. : , 2005. E Book.