Christopher T. Haynes, Daniel P. Friedman. Abstracting Timed Preemption with Engines. Computer Languages, Systems \& Structures, 12(2):109-121, 1987.
@article{HaynesF87:0, title = {Abstracting Timed Preemption with Engines}, author = {Christopher T. Haynes and Daniel P. Friedman}, year = {1987}, researchr = {https://researchr.org/publication/HaynesF87%3A0}, cites = {0}, citedby = {0}, journal = {Computer Languages, Systems \& Structures}, volume = {12}, number = {2}, pages = {109-121}, }