Title: Refinement relations on partial specifications
First published: 2003