Michael Jackson. Formalism and Intuition in Software Engineering. In Jürgen Münch, Klaus Schmid, editors, Perspectives on the Future of Software Engineering, Essays in Honor of Dieter Rombach. pages 335-347, Springer, 2013. [doi]
Abstract is missing.