Hennessy, John L. and Richard B. Kieburtz "The formal definition of a real-time language" Stanford University, Computer Systems Laboratory Report Number: CSL-TR-78-155 July 1978

Languages mentioned

• TOMAL {1975} Realtime language