Gaya APA

Adapting Proofs-as-Programs. (2005). : .

Gaya MLA

Adapting Proofs-as-Programs. 1st ed.. : , 2005. E Book.