The following publications are possibly variants of this publication:
- Consistency and Refinement for Partial Specification in ZEerke Boiten, John Derrick, Howard Bowman, Maarten Steen. FM 1996: 287-306
- Viewpoint Consistency in Z and LOTOS: A Case StudyEerke Boiten, Howard Bowman, John Derrick, Maarten Steen. FM 1997: 644-664
- Constructive Consistency Checking for Partial Specification in ZEerke Boiten, John Derrick, Howard Bowman, Maarten Steen. SCP, 35(1):29-75, 1999.