Refinement-after-hiding : a small case study /
Burton, Jonathan.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne, Computing Science,
2005.
Includes bibliographical references.