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