András Frank 708-718 conf/focs/FOCS31b 1990 FOCS db/conf/focs/focs90.html#Frank90 http://doi.ieeecomputersociety.org/10.1109/FSCS.1990.89593