A Formal Description of SYSTEM/360.

Adin D. Falkoff Kenneth E. Iverson Edward H. Sussenguth Jr.

Published in: IBM Syst. J. (1964)

Keyphrases

formal specification
high level
data model
multi agent systems
object oriented
software engineering