Leavenworth, B. review of Liu et al 1967

(1967) ACM Computing Reviews 8(06) November-December 1967  

Languages mentioned MIL {1967} SDL {1967} Syntax defining language TDML {1967}