ALGEBRAIC AND LOGIC PROGRAMMING - Bergstra, J. A. (Akademie, 1988)