Amir Ben-Dor Amos Israeli Asaf Shirazi Dynamic Counting. 111-120 1995 ISTCS db/conf/istcs/istcs1995.html#Ben-DorIS95