Logical programming wiht system/360 - Stabley, Don H. (1970)