Hartmut Ehrig Bernd Mahr Theory and Practice of Software Development: A Review of Driving Forces and Expectations. 1995 57 Bulletin of the EATCS db/journals/eatcs/eatcs57.html#EhrigM95