Ein Fachband, der Peter D. Mosses' Pionierarbeit in semantischer Theorie und algebraischer Spezifikation würdigt; Essays von renommierten Forschern untersuchen Modellierung, formale Methoden und deren Einfluss auf moderne Softwareentwicklung.