Adapting Proofs-as-Programs

MLA

Poernomo, Iman Hafiz, et al. Adapting Proofs-as-programs. Springer New York, 2005.

APA

Poernomo, I. Hafiz, Crossley, J. N, Gries, D., Schneider, F. B, & Wirsing, M. (2005). Adapting Proofs-as-Programs. Springer New York.

Chicago

Poernomo, Iman Hafiz, John N Crossley, David Gries, Fred B Schneider, and Martin Wirsing. Adapting Proofs-As-Programs. : Springer New York, 2005.