Communications Of The ACM
The mathematical thinking, as well as the mathematics, in a computer science education prepares students for all stages of system development, from design to the correctness of the final implementation.
K. Bruce, R. L.S. Drysdale, Charles F. Kelemen, and A. Tucker.
Communications Of The ACM.