David C. Luckham Sriram Sankar Patrick Suppes