"Fundamentals of Algebraic Specification 1: Equations and Initial Semantics" von Bernd Mahr ist ein umfassendes Werk, das sich mit den grundlegenden Konzepten der algebraischen Spezifikation in der theoretischen Informatik befasst. Das...