Mathematics of Program Construction

MLA

Hinze, and Janis Voigtländer. Mathematics of Program Construction. Springer International Publishing, 2015.

APA

Hinze, H., & Voigtländer, J. (2015). Mathematics of Program Construction. Springer International Publishing.

Chicago

Hinze, and Janis Voigtländer. Mathematics of Program Construction. : Springer International Publishing, 2015.