(Davison y Shallit 1991).