Stephen J. Garland David C. Luckham 65-72 conf/stoc/STOC4 1972 STOC db/conf/stoc/stoc72.html#GarlandL72