Logical programming with system / 360. - Stabley, Don H. (John Wiley & Sons, Inc, 1970)