Action semantics and ASF+SDF: System demonstration (2002)

by P D Mosses
Venue:In Language Design Tools and Applications, volume 65-3 of ENTCS