Mathematical foundations of programming semantics : proceedings - Melton Austin (Berlin Springer Verlag, 1986)
Keywords: Programming language; Programming semantics