A parsing program for categorial grammars - Kay, Martin (Rand Corporation, 1964)