H. M. Semarne. Symbolic logic in language engineering. In R. M. Bennett, editor, Papers presented at the 1960 western joint IRE-AIEE-ACM computer conference, IRE-AIEE-ACM 1960 (Western), San Francisco, California, USA, May 3-5, 1960. pages 61-71, ACM, 1960. [doi]
Abstract is missing.