Specification and Implementation of Parallel Activities on Abstract Objects

@inproceedings{Keramidis-Mackert:ICSE79,
  author    = {S. Keramidis and
               L. Mackert},
  title     = {Specification and Implementation of Parallel Activities on Abstract Objects},
  booktitle = {ICSE},
  pages     = {203--211},
  publisher = {{IEEE} Computer Society},
  year      = {1979},
}