A Case Study in Partial Specification: Consistency and Refinement for Object-Z.

Chris Taylor, John Derrick, Eerke A. Boiten

Browse the full ICFEM paper archive.