H. Dieter Rombach Frank Seelisch Formalisms in Software Engineering: Myths Versus Empirical Facts. 13-25 2007 CEE-SET http://dx.doi.org/10.1007/978-3-540-85279-7_2 conf/ifip2/2007 db/conf/ifip2/ceeset2007.html#RombachS07