Communications of the ACM · 1958 · 130 citations · 0 references
Mathematical ProgrammingCognitive ScienceArithmetic OperationsEngineeringVaguenessAbstract InterpretationFormal MethodsComputer AlgebraComputational ComplexityComputer ScienceDiscrete MathematicsSemanticsAbstract Object Theory
The concepts used without explanation are taken from [1].