Static Scoping and Name Resolution for Mobile Processes with Polymorphic Interfaces. - Jan Bækgaard Pedersen; Matthew Sowders (CPA, 2011)