Refining Specifications to Logic Programs. - Ian J. Hayes; R. G. Nickson; Paul A. Strooper (LOPSTR, 1996)