David Lichtenstein Michael Sipser 48-54 conf/focs/FOCS19 1978 FOCS db/conf/focs/focs78.html#LichtensteinS78