Davide Sangiorgi Pi-I: A Symmetric Calculus Based on Internal Mobility. 172-186 1995 conf/tapsoft/1995 TAPSOFT db/conf/tapsoft/tapsoft95.html#Sangiorgi95 http://dx.doi.org/10.1007/3-540-59293-8_194