Proceeding on Mathematical foundations of programming semantics - Meiton Austin Ed.; International conference on mathematical foundations of programming semantics (1985 : Manhattan) (Berlin Springer-Verlag, 1986)
Keywords: Computer programming