Sheaves and structures of transition systems

2006

Grant Malcolm

in: Algebra, meaning, and computation, Berlin,

Signs and representations

semiotics for user interface design

1999

Grant Malcolm, Joseph A. Goguen

in: Visual representations and interpretations, Berlin,