Jan van Leeuwen Carl H. Smith An Improved Bound for Detecting Looping Configurations in Deterministic DPA's. 22-24 1974 3 Inf. Process. Lett. 1 db/journals/ipl/ipl3.html#LeeuwenS74