Eerke A. Boiten John Derrick Howard Bowman Maarten Steen Constructive Consistency Checking for Partial Specification in Z. 29-75 1999 35 Sci. Comput. Program. 1 db/journals/scp/scp35.html#BoitenDBS99