T. S. E. Maibaum Mathematical foundations of software engineering: a roadmap. 161-172 2000 ICSE - Future of SE Track http://doi.acm.org/10.1145/336512.336548 db/conf/icse/future2000.html#Maibaum00