Ein Band von Essays, die die Wechselwirkung zwischen algebraischer Struktur und semantischem Inhalt untersuchen, wobei Goguens Beiträge zur formalen Semantik und logischen Programmierung hervorgehoben werden; ein Leitfaden für theoretische Informatiker.