A Technique for Prototyping Directly from a Specification

@inproceedings{Tavendale:ICSE85,
  author    = {R. D. Tavendale},
  title     = {A Technique for Prototyping Directly from a Specification},
  booktitle = {ICSE},
  pages     = {224--229},
  publisher = {{IEEE} Computer Society},
  year      = {1985},
}