Martin Gogolla Rudolf Herzig An Algebraic Development Technique for Information Systems. 446-460 1995 conf/amast/1995 AMAST db/conf/amast/amast95.html#GogollaH95