George Markowsky Barry K. Rosen 34-47 conf/focs/FOCS16 1975 FOCS db/conf/focs/focs75.html#MarkowskyR75