Logic programming formal methods and practical applications (Elsevier, 1995)