Foundations of information systems specification and design Dagstuhl-Seminar-Report; 35 16.-19.3.9.(9212) - Ehrich, Hans-Dieter; Goguen, Joseph A.; Sernadas, Amilcar