Logic of programs：workshop, ETH Zürich, May-July 1979

Corporate Authors: Eidgenössische Technische Hochschule Zürich.
Group Author: Engeler Erwin.
Published: Springer,
Publication Dates: 1981.
Call Number: TP31-53/L832/1979/