Krithi Ramamritham Resource Controller Tasks in Ada: Their Structure and Semantics. 67-77 1984 ICSE db/conf/icse/icse84.html#Ramamritham84