Rome, Sydney C.; and Rome, Beatrice K. "Formal representation of intentionally structured systems" Advances Documentation and Library Science (Interscience, New York, N. Y.) 3, pt. 1, 467-492. 1961

Languages mentioned

• Leviathan {1961} Behavioural systems language