Meeting of the Association for Symbolic Logic: San Diego, 1979. - Alfred B. Manaster; Thomas H. Payne; David Harrah (J. Symb. Log., 1981)

Message semantics. - David Harrah (Notre Dame J. Formal Log., 1986)