P. Quaglia, “On the Finitary Characterization of pi-Congruences”, BRICS, vol. 4, no. 52, Jun. 1997.