5 works on record
TAPSOFT '95
1995
CASL user manual
Action Semantics (Cambridge Tracts in Theoretical Computer Science)
CASL Reference Manual
Action semantics