Ein Lehrbuch, das algebraische Spezifikation auf modulare Ebene vertieft und die Interaktion von Modulen mit Constraints aus Sicht der formalen Logik untersucht; es liefert anschauliche Beispiele für die Modellierung komplexer Softwaresysteme.