Marco Pistore Davide Sangiorgi A Partition Refinement Algorithm for the -Calculus. 264-321 2001 164 Inf. Comput. 2 db/journals/iandc/iandc164.html#PistoreS01