P. Quaglia, “On the Finitary Characterization of pi-Congruences”, BRICS, bd. 4, nr. 52, jun. 1997.