Mathematical reasoning in software engineering education

Peter B. Henderson
2003 Communications of the ACM  
doi:10.1145/903893.903919 fatcat:uoz3ll46hza4vedpwi5baftgg4