Proceeding on logic of programs - Engeler Erwin Ed.; Workshop on logic of programs (1979 : ETH Zurich) (Berlin Springer-Verlag, 1981)
Keywords: Logic