Resource Controller Tasks in Ada: Their Structure and Semantics

@inproceedings{Ramamritham:ICSE84,
  author    = {Krithi Ramamritham},
  title     = {Resource Controller Tasks in Ada: Their Structure and Semantics},
  booktitle = {ICSE},
  pages     = {67--77},
  publisher = {{IEEE} Computer Society},
  year      = {1984},
}