U. Frendrup og J. N. Jensen, “Checking for Open Bisimilarity in the pi-Calculus”, BRICS, bd. 8, nr. 8, feb. 2001.