Michael R. Lowry. Requirements Engineering and Program Synthesis: Mutually Exclusive or Synergistic?. In 5th IEEE International Symposium on Requirements Engineering (RE 2001), 27-31 August 2001, Toronto, Canada. pages 12-13, IEEE Computer Society, 2001. [doi]