APA (7th ed.) Citation

Backhouse, R., & Doornbos, H. (2008). Datatype-generic termination proofs. Springer.

Chicago Style (17th ed.) Citation

Backhouse, Roland, and Henk Doornbos. Datatype-generic Termination Proofs. Springer, 2008.

MLA (9th ed.) Citation

Backhouse, Roland, and Henk Doornbos. Datatype-generic Termination Proofs. Springer, 2008.

Warning: These citations may not always be 100% accurate.