Software (theme 1)
CSLI, Stanford University
Software Analysis and Transformation

van Eijck, D.J.N, & Visser, A. (2016). Dynamic Semantics. In Stanford Encyclopedia of Philosophy. CSLI, Stanford University.