Publications by 'David C. Clarke'