'Towards a Formal Semantics'.

Paper submitted at the I.F.I.P. Conference, Vienna, September 1964.

Typed draft with manuscript corrections and revised version dated July 1964, manuscript list of errata and references.

Offprint of the paper from conference proceedings, ed. T.B. Steel, North-Holland Publishing Co., Amsterdam, 1966 (includes discussion of the paper at the conference).