Joseph JáJá 43-50 conf/focs/FOCS26 1985 FOCS db/conf/focs/focs85.html#JaJa85 http://doi.ieeecomputersociety.org/10.1109/SFCS.1985.32