Bernard Chazelle How to Search in History. 52-63 1983 conf/fct/1983 FCT db/conf/fct/fct83.html#Chazelle83