Title: Action Semantics (Cambridge Tracts in Theoretical Computer Science)
Subjects: Computer science, Programming languages (Electronic computers), Semantics