Abstracting timed preemption with engines (1987)

by Christopher T Haynes, Daniel P Friedman
Venue:Computer Languages