Requirements, Specifications and Minimal Refinement

[GorogiannisRyan2002Refinement] Nikos Gorogiannis and Mark Ryan. Requirements, Specifications and Minimal Refinement. In 9th Workshop on Logic, Language, Information and Computation. Volume 67 of Electronic Notes in Theoretical Computer Science. 2002.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: http://www.elsevier.com/gej-ng/31/29/23/124/25/34/entcs67016.ps