Computational logic : structure sharing and proof of program properties - Moore, J Strother (1973)