Armando Martin Haeberer T. S. E. Maibaum Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. 463-472 2001 conf/icse/2001 ICSE db/conf/icse/icse2001.html#HaebererM01