McCormick, E. M. review of Rome and Rome 1961

(1962) ACM Computing Reviews 3(03) May-June 1962  

Languages mentioned Leviathan {1961} Behavioural systems language