An operational semantics of tasking and exception handling in Ada - Li, Wei 1943- (University <Edinburgh>, 1982)