Mikhail J. Atallah 92-99 conf/focs/FOCS24 1983 FOCS db/conf/focs/focs83.html#Atallah83