Algebra, meaning, and computation

Software engineering with OBJ

Art and the brain II

Algebraic semantics of imperative programs

1996

Art and the Brain (Journal of Consciousness Studies: Controversies in Science & the Humanities)

1999

A categorical manifesto

1989

Crew communications as a factor in aviation accidents

1986