Mixing Abstract and Concrete Modules: Specification, Development and Prototyping

@inproceedings{Choppy-Kaplan:ICSE90,
  author    = {Christine Choppy and
               St{\'{e}}phane Kaplan},
  title     = {Mixing Abstract and Concrete Modules: Specification, Development and Prototyping},
  booktitle = {ICSE},
  pages     = {173--184},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
}