McCormick, E. M. review of Rome and Rome (Formal) 1961
(1962)
(1962)
ACM Computing Reviews 3(03) May-June 1962
Languages mentioned
Leviathan
{1961} Behavioural systems language