Requirements, specifications and minimal refinement

[GorogiannisRyan2007] Nikos Gorogiannis and Mark Ryan. Requirements, specifications and minimal refinement. Formal Aspects of Computing, 19(4), pages 417-444. 2007.