Real-Time Programming Specifications
Problems in the implementation of large real-time
applications are treated, and suggested guidelines 
for both program and file specifications are developed.
 The problems delineated also occur in systems 
programming.
CACM July, 1963
Head, R. V.
