Penggayaan APA
Poernomo, Iman., Crossley, John N., Wirsing, Martin.. (2005).
Adapting Proofs-as-Programs (1st ed.).
:
.
Chicago Style
Poernomo, Iman., Crossley, John N., Wirsing, Martin..
Adapting Proofs-as-Programs.
1st ed.
:
,
2005.
E Book.
MLA Style
Poernomo, Iman., Crossley, John N., Wirsing, Martin..
Adapting Proofs-as-Programs.
1st ed.
:
,
2005.
E Book.
Turabian Style
Poernomo, Iman., Crossley, John N., Wirsing, Martin..
Adapting Proofs-as-Programs.
1st ed.
:
,
2005.
E Book.