Steven Fortune James Wyllie 114-118 conf/stoc/STOC10 1978 STOC db/conf/stoc/stoc78.html#FortuneW78