Executable specifications and CASE

@article{Gaskell1994ExecutableSA,
  title={Executable specifications and CASE},
  author={Craig Gaskell and Roger Phillips},
  journal={Software Engineering Journal},
  year={1994},
  volume={9},
  pages={174-182}
}