Mathematical foundations of programming semantics (MFPS 2006) [papers from the 22nd Annual Conference on Mathematical Foundations of Programming Semantics ... held at the University of Genova, Italy in May 2006] - Mislove, Michael W. (Elsevier, 2010)
Einzelaufnahme eines Zeitschr.-Heftes