Functional programs as executable specifications

{
  "doi": null,
  "year": 1984,
  "title": "Functional programs as executable specifications",
  "venue": "Philosophical Transactions of the Royal Society of London",
  "authors": [
    "Turner, D. A."
  ],
  "arxiv_id": null,
  "s2_paper_id": null,
  "ingest_status": "referenced-only"
}