Formal semantics of programming languages – an overview (2006)

by P D Mosses
Venue:Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques (FoVMT 2004), volume 148 of Electronic Notes in Theoretical Computer Science