Software testing for conventional and logic programming - Jack, Oliver (Programming complex systems ;, 1996)