Krithi Ramamritham
Resource Controller Tasks in Ada: Their Structure and Semantics
ICSE, 1984.
@inproceedings{ICSE-1984-Ramamritham,
acmid = "801952",
author = "Krithi Ramamritham",
booktitle = "{Proceedings of the Seventh International Conference on Software Engineering}",
editor = "Terry A. Straeter and William E. Howden and Jean-Claude Rault",
isbn = "0-8186-0528-6",
pages = "67--77",
publisher = "{IEEE Computer Society}",
title = "{Resource Controller Tasks in Ada: Their Structure and Semantics}",
year = 1984,
}