Algebra of Logic Programming - Seres, S; Spivey, J; Hoare, C (MIT Press, 1999)