Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming

@inproceedings{Cunha-Maibaum:ICSE81,
  author    = {Paulo R. F. Cunha and
               T. S. E. Maibaum},
  title     = {Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming},
  booktitle = {ICSE},
  pages     = {263--272},
  publisher = {{IEEE} Computer Society},
  year      = {1981},
}