Semantics with Applications: A Formal Introduction by Hanne Riis Nielson and Flemming Nielson.
From the preface:
Many books on formal semantics begin by explaining that there are three major approaches to semantics, that is
- operational semantics,
- denotational semantics, and
- axiomatic semantics;
but then they go on to study just one of these in greater detail. The purpose of this book is go
- present the fundamental ideas behind all of these approaches,
- to stress their relationship by formulating and proving the relevant theorems, and
- to illustrate the applicability of formal semantics as a tool in computer science.
Not as immediately useful as some of the visualization resources but I do think this book and similar materials are important for making progress with topic maps.
Semantics are with us wherever we turn and have no fixed answer.
The better our semantic skills the more likely we are to achieve temporarily useful answers.
*****
PS: The URL given on the title page for accessing the book, http://daimi.au.dk/~hrn is no longer maintained.