65. Birthday: Joseph A. Goguen, 2006

Meaning

Meta-Logic

Specification and Composition

Behavior and Formal Languages

Models, Deduction, and Computation

a service of Schloss Dagstuhl - Leibniz Center for Informatics