Radner, Sanford

Programmed semantics for composition / - 1970.

Semasiology