Edwin D. de Jong, Jaco van de Pol, Jozef Hooman. Refinement in Requirements Specification and Analysis: A Case Study. In 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK. pages 290-298, IEEE Computer Society, 2000. [doi]
Abstract is missing.