The theory and practice of refinement after-hiding /
Burton, Jonathan Ian.
University of Newcastle upon Tyne.School of Computing Science.
Newcastle upon Tyne : University of Newcastle upon Tyne,
2005.
Thesis (Ph. D.)--University of Newcastle upon Tyne, 2004.