Extending the Implementation Scheme of Functional Programming System FP for Supporting the Formal Software Development Methodology

@inproceedings{Chen:ICSE85,
  author    = {Q. Chen},
  title     = {Extending the Implementation Scheme of Functional Programming System {FP} for Supporting the Formal Software Development Methodology},
  booktitle = {ICSE},
  pages     = {50--54},
  publisher = {{IEEE} Computer Society},
  year      = {1985},
}