Mathematics of Program Construction

MLA

Uustalu, Tarmo, Takeo Kanade, and Josef Kittler. Mathematics of Program Construction. Springer Berlin Heidelberg, 2006.

APA

Uustalu, T., Kanade, T., & Kittler, J. (2006). Mathematics of Program Construction. Springer Berlin Heidelberg.

Chicago

Uustalu, Tarmo, Takeo Kanade, and Josef Kittler. Mathematics of Program Construction. : Springer Berlin Heidelberg, 2006.