Semantics of computation

Institutions: abstract model theory for specification and programming

Journal of the ACM (JACM)

Principles of OBJ2

POPL '85 Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages

Initial Algebra Semantics and Continuous Algebras

Journal of the ACM (JACM)

MODLISP

LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming

MODLISP

ACM SIGSAM Bulletin

An introduction to algebraic semiotics, with application to user interface design

Computation for metaphors, analogy, and agents

Paper: Computer assisted static and dynamical plannings for production activities

Automatica (Journal of IFAC)