1. Barland, I., Felleisen, M., Fisler, K., Kolaitis, P., Vardi, M.Y.: Integrating logic into the computer science curriculum. In: Annual Joint Conference on Integrating Technology into Computer Science Education (2000)
2. Glass, R.L.: A new answer to how important is mathematics to the software practitioner? IEEE Softw. 17(6), 136 (2000)
3. Hardy, G.M., Everett, D.L.: Shaping the Future of Business Education: Relevance, Rigor, and Life Preparation. Palgrave Macmillan, London (2013)
4. Harvey, V.J., Wu, P.Y., Turchek, J.C., Longenecker, H.E.: Coordinated topic presentations for information systems core curriculum and discrete mathematics courses. In: Proceedings of ISECON 2005 (2005)
5. Hussmann, H.: Indirect use of formal methods in software engineering. In: ICSE-17 Workshop on Formal Methods Application in Software Engineering Practice, Seattle (WA), USA, pp. 126–133. Citeseer (1995)