Machine-independent Real-Time Operating System Interfaces - Haddon, Bruce Kenneth (1980)